All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----prolog.Goal
Goal()
public abstract boolean unify(Term insts[], Prolog p) throws PrologException
public abstract boolean redo(Term insts[], Prolog p, ChoicePoint cp) throws PrologException
abstract void instantiate(Term insts[])
abstract Goal normalise(Variable vars[], int next_free_var, Vector new_vars, TypeDictionary types)
The body consists of unify()'s and calls to other predicates. Ensure the following conditions hold:
1. All unifications have the form: unify(X, S). where: X is a variable S is one of: variable number structure containing new variables. 2. Calls contain variables only.
boolean compile(ClauseCodeGen ccg)
public abstract String toString()
All Packages Class Hierarchy This Package Previous Next Index