All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.lib.gensym_2 

java.lang.Object
   |
   +----prolog.Predicate
           |
           +----prolog.CompiledPredicate
                   |
                   +----prolog.lib.gensym_2
public class gensym_2
extends CompiledPredicate
gensym/2: Create unique versions of a symbol.

Usage: gensym(f, F) binds F to fx, where x is a new, monotonically increasing, number (with respect to previous calls).

Constructor Index

o gensym_2()

Method Index

o exec(Term[], Prolog)
Implements the functionality of the call.

Constructors

o gensym_2 
 public gensym_2()

Methods

o exec 
 public boolean exec(Term args[],
                     Prolog p) throws ArgumentException
Implements the functionality of the call.

Overrides:
exec in class CompiledPredicate 
All Packages  Class Hierarchy  This Package  Previous  Next  Index