All Packages Class Hierarchy This Package Previous Next Index
Class prolog.CompiledPredicate
java.lang.Object
|
+----prolog.Predicate
|
+----prolog.CompiledPredicate
- public abstract class CompiledPredicate
- extends Predicate
Abstract base class for determinate (pre-)compiled predicates.
-
CompiledPredicate()
- Creates a new CompiledPredicate.
-
clone()
-
-
exec(Term[], Prolog)
- Implements the functionality of the call.
-
redo(Term[], Prolog, ChoicePoint)
- Default implementation of the redo method: we assume the builtin is
determinate, and so this should never be invoked.
-
toString()
-
-
unify(Term[], Prolog)
- Resolve the given goal in the context of a Prolog engine.
CompiledPredicate
protected CompiledPredicate()
- Creates a new CompiledPredicate.
unify
public boolean unify(Term args[],
Prolog p) throws PrologException
- Resolve the given goal in the context of a Prolog engine.
- Overrides:
- unify in class Predicate
exec
public boolean exec(Term args[],
Prolog p) throws PrologException
- Implements the functionality of the call.
- Parameters:
- args - the arguments of the current goal.
- p - the Prolog engine, for state information.
- Returns:
- true if the call succeeds, false otherwise.
- Throws: PrologException
- on e.g. typing errors.
redo
public boolean redo(Term args[],
Prolog p,
ChoicePoint cp) throws PrologException
- Default implementation of the redo method: we assume the builtin is
determinate, and so this should never be invoked.
- Overrides:
- redo in class Predicate
clone
protected Object clone()
- Overrides:
- clone in class Object
toString
public String toString()
- Overrides:
- toString in class Predicate
All Packages Class Hierarchy This Package Previous Next Index