Changeset 4263 for trunk/configs

Timestamp:

05/15/08 07:37:46 (8 months ago)

Author:

pmoura

Message:

Modified the YAP config file to check the availability of the built-in predicate forall/2.

Files:

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

trunk/configs/yap.config

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