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

Variable Index

 o index
The index of clauses for this predicate.

Constructor Index

 o InterpretedPredicate(ClauseIndex)
 o InterpretedPredicate(int)

Method Index

 o puta(Clause)
 o putz(Clause)
 o redo(Term[], Prolog, ChoicePoint)
Redo a goal, i.e.
 o toString()
 o unify(Term[], Prolog)
Resolve the given goal in the context of a Prolog engine.

Variables

 o index
 public ClauseIndex index
The index of clauses for this predicate.

See Also:
listdb_1

Constructors

 o InterpretedPredicate
 public InterpretedPredicate(int arity)
 o InterpretedPredicate
 public InterpretedPredicate(ClauseIndex index)

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 redo
 public boolean redo(Term args[],
                     Prolog p,
                     ChoicePoint cp) throws PrologException
Redo a goal, i.e.

Overrides:
redo in class Predicate
 o puta
 public void puta(Clause c)
 o putz
 public void putz(Clause c)
 o toString
 public String toString()
Overrides:
toString in class Predicate

All Packages  Class Hierarchy  This Package  Previous  Next  Index