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
-
JITPredicate(int)
-
-
toString()
-
-
unify(Term[], Prolog)
- Resolve the given goal in the context of a Prolog engine.
JITPredicate
public JITPredicate(int arity)
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
toString
public String toString()
- Overrides:
- toString in class InterpretedPredicate
All Packages Class Hierarchy This Package Previous Next Index