Changeset 4263

Show
Ignore:
Timestamp:
05/15/08 07:37:46 (7 weeks ago)
Author:
pmoura
Message:
Modified the YAP config file to check the availability of the built-in predicate forall/2.
Location:
trunk
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/configs/yap.config

    r4233 r4263  
    66%  configuration file for YAP Prolog 5.1.2 and later versions 
    77% 
    8 %  last updated: April 10, 2008 
     8%  last updated: May 15, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    111111% forall(+callable, +callble) -- built-in 
    112112 
     113:- if(\+ predicate_property(forall(_, _), built_in)). 
    113114forall(Generate, Test) :- 
    114115    \+ (call(Generate), \+ call(Test)). 
     116:- endif. 
    115117 
    116118 

  • trunk/RELEASE_NOTES.txt

    r4260 r4263  
    1212 
    13132.31.6 - May ??, 2008 
     14 
     15    Modified the YAP config file to check the availability of the built-in  
     16    predicate forall/2. 
    1417 
    1518    Added support for the Pygments syntax highlighter (co-developed with