Changeset 4216 for trunk/library/list.lgt

Timestamp:

04/22/08 08:09:59 (5 months ago)

Author:

pmoura

Message:

Updated the definitions of the predicate valid/1 for the library objects "list", "list(Type)", "numberlist", "set", "set(Type)", "varlist" to fail for lists with unbound tails after discussion with Jan Wielemaker and Ulrich Neumerkel.

Files:

• trunk/library/list.lgt (modified) (2 diffs)

trunk/library/list.lgt

@@ -5 +5 @@
 
     :- info([
-        version is 1.3,
+        version is 1.4,
         author is 'Paulo Moura',
-        date is 2006/12/21,
+        date is 2008/4/22,
         comment is 'List predicates.']).
 
@@ -203 +203 @@
         suffix(List, Tail).
 
-    valid(List) :-
-        nonvar(List),
-        \+ \+ valid2(List).
-
-    valid2([]).
-    valid2([_| List]) :-
-        valid2(List).
+    valid(-) :-     % catch variables and lists with unbound tails
+        !,
+        fail.
+    valid([]).
+    valid([_| List]) :-
+        valid(List).
 
 :- end_object.