All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----prolog.Predicate | +----prolog.CompiledPredicate | +----prolog.lib.gensym_2
Usage: gensym(f, F) binds F to fx, where x is a new, monotonically increasing, number (with respect to previous calls).
public gensym_2()
public boolean exec(Term args[], Prolog p) throws ArgumentException
All Packages Class Hierarchy This Package Previous Next Index