Changeset 4491

Show
Ignore:
Timestamp:
10/06/08 13:40:23 (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:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/library/gensym.lgt

    r4490 r4491  
    1  
    21 
    32:- object(gensym). 
    … …  
    3332    :- mode(base_(?atom, ?integer), zero_or_more). 
    3433    :- info(base_/2, [ 
    35         comment is 'Table of gebnerator bases and respective counters.', 
     34        comment is 'Table of generator bases and respective counters.', 
    3635        argnames is ['Base', 'Counter']]). 
    3736