Changeset 4266 for trunk/configs

Show
Ignore:
Timestamp:
05/18/08 05:45:28 (8 months ago)
Author:
pmoura
Message:

Updated compatibility information for YAP.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/configs/yap.config

    r4264 r4266  
    44%  Release 2.31.6 
    55% 
    6 %  configuration file for YAP Prolog 5.1.2 and later versions 
    7 % 
    8 %  last updated: May 15, 2008 
     6%  configuration file for YAP Prolog 5.1.3 and later versions 
     7% 
     8%  last updated: May 18, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    111111% forall(+callable, +callble) -- built-in 
    112112 
    113 :- if(\+ predicate_property(forall(_, _), built_in)). 
    114 forall(Generate, Test) :- 
    115     \+ (call(Generate), \+ call(Test)). 
    116 :- endif. 
    117  
    118113 
    119114% retractall(+callable) -- built-in