Changeset 4479 for trunk/configs

Timestamp:

10/04/08 02:11:52 (3 months ago)

Author:

pmoura

Message:

Update the CxProlog? config file to work with and require version 0.97.2.

Location:

trunk/configs

Files:

• cx.config (modified) (2 diffs)
• NOTES.txt (modified) (1 diff)

trunk/configs/cx.config

@@ -10 +10 @@
 %
 %
-%  configuration file for CxProlog 0.97.1 or a later version
+%  configuration file for CxProlog 0.97.2 or a later version
 %
 %  last updated: July 24, 2008
@@ -39 +39 @@
 % table of definition for missing ISO predicates
 
-'$lgt_iso_predicate'(read_term(_, _, _)).
-
-
-read_term(Stream, Term, [singletons([])]) :-
-    !,
-    read(Stream, Term).
-
-read_term(Stream, Term, _) :-
-    read(Stream, Term).
+'$lgt_iso_predicate'(_) :-
+    fail.
 
 

trunk/configs/NOTES.txt

@@ -161 +161 @@
 
 
-CxProlog 0.97.1 or later versions
+CxProlog 0.97.2 or later versions
 
     cx.config
 
-    Developed and tested with the help of Artur Miguel Dias, CxProlog author.
+    Developed and tested with the help of the CxProlog author, Artur Miguel
+    Dias.