All Packages Class Hierarchy This Package Previous Next Index
Class prolog.InterpretedPredicate
java.lang.Object
|
+----prolog.Predicate
|
+----prolog.InterpretedPredicate
- public class InterpretedPredicate
- extends Predicate
Represents a predicate that will be interpreted (i.e. is an ordered list
of Clauses). Clause management is provided by
ClauseIndex classes.
- See Also:
- ClauseIndex
-
index
- The index of clauses for this predicate.
-
InterpretedPredicate(ClauseIndex)
-
-
InterpretedPredicate(int)
-
-
puta(Clause)
-
-
putz(Clause)
-
-
redo(Term[], Prolog, ChoicePoint)
- Redo a goal, i.e.
-
toString()
-
-
unify(Term[], Prolog)
- Resolve the given goal in the context of a Prolog engine.
index
public ClauseIndex index
- The index of clauses for this predicate.
- See Also:
- listdb_1
InterpretedPredicate
public InterpretedPredicate(int arity)
InterpretedPredicate
public InterpretedPredicate(ClauseIndex index)
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
redo
public boolean redo(Term args[],
Prolog p,
ChoicePoint cp) throws PrologException
- Redo a goal, i.e.
- Overrides:
- redo in class Predicate
puta
public void puta(Clause c)
putz
public void putz(Clause c)
toString
public String toString()
- Overrides:
- toString in class Predicate
All Packages Class Hierarchy This Package Previous Next Index