All Packages Class Hierarchy This Package Previous Next Index
Class prolog.Conjunction
java.lang.Object
|
+----prolog.Goal
|
+----prolog.Conjunction
- public class Conjunction
- extends Goal
','/2: Represents a conjuctive goal in the body of a clause.
-
ARITY
-
-
FUNCTOR
-
-
g
-
-
next
-
-
unifier
- The predicate record of a possible unifier for this goal.
-
Conjunction(Compound, Goal, Prolog)
-
-
Conjunction(Compound, Predicate)
- For use by normalise
-
compile(ClauseCodeGen)
-
-
instantiate(Term[])
- Instantiate a list of Goals with the given substitutions.
-
normalise(Variable[], int, Vector, TypeDictionary)
- Copies and normalises the body of a predicate.
-
redo(Term[], Prolog, ChoicePoint)
-
-
toString()
-
-
unify(Term[], Prolog)
-
FUNCTOR
public static final String FUNCTOR
ARITY
public static final int ARITY
g
Compound g
next
Goal next
unifier
Predicate unifier
- The predicate record of a possible unifier for this goal.
Conjunction
public Conjunction(Compound g,
Goal next,
Prolog p)
Conjunction
Conjunction(Compound g,
Predicate unifier)
- For use by normalise
- See Also:
- normalise
unify
public boolean unify(Term insts[],
Prolog p) throws PrologException
- Overrides:
- unify in class Goal
redo
public boolean redo(Term insts[],
Prolog p,
ChoicePoint cp) throws PrologException
- Overrides:
- redo in class Goal
instantiate
void instantiate(Term insts[])
- Instantiate a list of Goals with the given substitutions.
- Overrides:
- instantiate in class Goal
normalise
Goal normalise(Variable vars[],
int next_new_var,
Vector new_vars,
TypeDictionary types)
- Copies and normalises the body of a predicate.
- Overrides:
- normalise in class Goal
compile
public boolean compile(ClauseCodeGen ccg)
- Overrides:
- compile in class Goal
toString
public String toString()
- Overrides:
- toString in class Goal
All Packages Class Hierarchy This Package Previous Next Index