Changeset 4216 for trunk/library/numberlist.lgt

Timestamp:

04/22/08 08:09:59 (4 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/numberlist.lgt (modified) (2 diffs)

trunk/library/numberlist.lgt

@@ -5 +5 @@
 
     :- info([
-        version is 1.1,
+        version is 1.2,
         author is 'Paulo Moura',
-        date is 2007/4/20,
+        date is 2008/4/22,
         comment is 'List of numbers predicates.']).
 
@@ -57 +57 @@
         sum(Ns, Acc2, Sum).
 
-    valid(List) :-
-        nonvar(List),
-        \+ \+ valid2(List).
-
-    valid2([]).
-    valid2([Head| Tail]) :-
-        number(Head),
-        valid2(Tail).
+    valid(-) :-     % catch variables and lists with unbound tails
+        !,
+        fail.
+    valid([]).
+    valid([Element| List]) :-
+        number(Element),
+        valid(List).
 
 :- end_object.