Changeset 4266

Timestamp:

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

Author:

pmoura

Message:

Updated compatibility information for YAP.

Location:

trunk

Files:

• configs/yap.config (modified) (2 diffs)
• RELEASE_NOTES.txt (modified) (1 diff)
• scripts/debian/postinst (modified) (1 diff)
• scripts/install.sh (modified) (1 diff)
• scripts/linux/logtalk.spec (modified) (1 diff)
• scripts/macosx/Portfile (modified) (1 diff)
• scripts/windows/logtalk.iss (modified) (1 diff)

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

trunk/RELEASE_NOTES.txt

@@ -13 +13 @@
 2.31.6 - May ??, 2008
 
-    Updated the YAP config file to check the availability of the built-in 
-    predicate forall/2. Added support for the proprietary if/1, else/0, 
+    Removed from the YAP config file the definition of the forall/2 
+    predicate, which have been added as a built-in predicate in YAP 
+    version 5.1.3. Added support for the proprietary if/1, else/0, 
     elif/1, and endif/0 directives.
 

trunk/scripts/debian/postinst

@@ -50 +50 @@
 echo "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)"
 echo "* XSB MT 64 bits (CVS version):            xsbmt64lgt (first run must use sudo)"
-echo "* YAP (version 5.1.2 or later):            yaplgt"
+echo "* YAP (version 5.1.3 or later):            yaplgt"
 echo
 echo "The Prolog integration scripts can be found on \"/usr/bin\"."

trunk/scripts/install.sh

@@ -94 +94 @@
 echo "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)"
 echo "* XSB MT 64 bits (CVS version):            xsbmt64lgt (first run must use sudo)"
-echo "* YAP (version 5.1.2 or later):            yaplgt"
+echo "* YAP (version 5.1.3 or later):            yaplgt"
 echo
 echo "The Prolog integration scripts can be found on \"$prefix/bin\"."

trunk/scripts/linux/logtalk.spec

@@ -146 +146 @@
 echo "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)"
 echo "* XSB MT 64 bits (CVS version):            xsbmt64lgt (first run must use sudo)"
-echo "* YAP (version 5.1.2 or later):            yaplgt"
+echo "* YAP (version 5.1.3 or later):            yaplgt"
 echo
 echo "The Prolog integration scripts can be found on \"$RPM_INSTALL_PREFIX/bin\"."

trunk/scripts/macosx/Portfile

@@ -64 +64 @@
     ui_msg "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)"
     ui_msg "* XSB MT 64 bits (CVS version):            xsbmt64lgt (first run must use sudo)"
-    ui_msg "* YAP (version 5.1.2 or later):            yaplgt"
+    ui_msg "* YAP (version 5.1.3 or later):            yaplgt"
     ui_msg "*"
     ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to"

trunk/scripts/windows/logtalk.iss

@@ -60 +60 @@
 Name: "prolog\swi"; Description: "SWI-Prolog integration (version 5.6.43 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning
 Name: "prolog\xsb"; Description: "XSB integration (version 3.1 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning
-Name: "prolog\yap"; Description: "YAP integration (version 5.1.2 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning
+Name: "prolog\yap"; Description: "YAP integration (version 5.1.3 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning
 
 [Tasks]