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.


Constructor Index

 o CompiledPredicate()
Creates a new CompiledPredicate.

Method Index

 o clone()
 o exec(Term[], Prolog)
Implements the functionality of the call.
 o redo(Term[], Prolog, ChoicePoint)
Default implementation of the redo method: we assume the builtin is determinate, and so this should never be invoked.
 o toString()
 o unify(Term[], Prolog)
Resolve the given goal in the context of a Prolog engine.

Constructors

 o CompiledPredicate
 protected CompiledPredicate()
Creates a new CompiledPredicate.

Methods

 o 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
 o 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.
 o 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
 o clone
 protected Object clone()
Overrides:
clone in class Object
 o toString
 public String toString()
Overrides:
toString in class Predicate

All Packages  Class Hierarchy  This Package  Previous  Next  Index