All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.JITPredicate

java.lang.Object
   |
   +----prolog.Predicate
           |
           +----prolog.InterpretedPredicate
                   |
                   +----prolog.JITPredicate

public class JITPredicate
extends InterpretedPredicate
These predicates are compilation candidates.

See Also:
PredicateCodeGen

Constructor Index

 o JITPredicate(int)

Method Index

 o toString()
 o unify(Term[], Prolog)
Resolve the given goal in the context of a Prolog engine.

Constructors

 o JITPredicate
 public JITPredicate(int arity)

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 InterpretedPredicate
 o toString
 public String toString()
Overrides:
toString in class InterpretedPredicate

All Packages  Class Hierarchy  This Package  Previous  Next  Index