Changeset 4490 for trunk/library

Timestamp:

10/06/08 08:58:28 (3 months ago)

Author:

pmoura

Message:

Added a new library object, "gensym", defining predicates for generating unique atoms (object protocol based on the "gensym" module of SWI-Prolog).

Files:

• trunk/library/gensym.lgt (modified) (1 diff)

trunk/library/gensym.lgt

@@ -49 +49 @@
         (   retract(base_(Base, OldInt)) ->
             NewInt is OldInt + 1
-        ;   NewInt is 0
+        ;   NewInt is 1
         ),
         asserta(base_(Base, NewInt)),