Changeset 4266 for trunk/configs/yap.config

Timestamp:

05/18/08 05:45:28 (7 months ago)

Author:

pmoura

Message:

Updated compatibility information for YAP.

Files:

• trunk/configs/yap.config (modified) (2 diffs)

trunk/configs/yap.config

@@ -4 +4 @@
 %  Release 2.31.6
 %
-%  configuration file for YAP Prolog 5.1.2 and later versions
-%
-%  last updated: May 15, 2008
+%  configuration file for YAP Prolog 5.1.3 and later versions
+%
+%  last updated: May 18, 2008
 %
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -111 +111 @@
 % forall(+callable, +callble) -- built-in
 
-:- if(\+ predicate_property(forall(_, _), built_in)).
-forall(Generate, Test) :-
-    \+ (call(Generate), \+ call(Test)).
-:- endif.
-
 
 % retractall(+callable) -- built-in