All Packages Class Hierarchy This Package Previous Next Index
Class prolog.Predicate
java.lang.Object
|
+----prolog.Predicate
- public abstract class Predicate
- extends Object
- implements Cloneable, Serializable
The abstract base class of the predicate representations - essentially
just a bucket in a hashtable.
- See Also:
- ClauseIndex, CompiledPredicate, DynamicPredicate, InterpretedPredicate, JITPredicate
-
arity
-
-
functor
-
-
hash
-
-
next
-
-
Predicate()
-
-
compile_call(ClauseCodeGen, Term[], boolean)
- Compiles a call to this predicate.
-
redo(Term[], Prolog, ChoicePoint)
- Redo a goal, i.e.
-
toString()
-
-
unify(Term[], Prolog)
- Resolve the given goal in the context of a Prolog engine.
hash
transient int hash
functor
public String functor
arity
public int arity
next
transient Predicate next
Predicate
protected Predicate()
unify
public abstract boolean unify(Term args[],
Prolog p) throws PrologException
- Resolve the given goal in the context of a Prolog engine.
- Parameters:
- goal - the goal to be resolved.
redo
public abstract boolean redo(Term args[],
Prolog p,
ChoicePoint cp) throws PrologException
- Redo a goal, i.e. on backtracking.
compile_call
public boolean compile_call(ClauseCodeGen ccg,
Term args[],
boolean lastcall)
- Compiles a call to this predicate. This method should be overridden
by other classes that can do a better job than a generic call.
- Parameters:
- lastcall - this call is a last call.
toString
public abstract String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index