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.


Variable Index

 o ARITY
 o FUNCTOR
 o g
 o next
 o unifier
The predicate record of a possible unifier for this goal.

Constructor Index

 o Conjunction(Compound, Goal, Prolog)
 o Conjunction(Compound, Predicate)
For use by normalise

Method Index

 o compile(ClauseCodeGen)
 o instantiate(Term[])
Instantiate a list of Goals with the given substitutions.
 o normalise(Variable[], int, Vector, TypeDictionary)
Copies and normalises the body of a predicate.
 o redo(Term[], Prolog, ChoicePoint)
 o toString()
 o unify(Term[], Prolog)

Variables

 o FUNCTOR
 public static final String FUNCTOR
 o ARITY
 public static final int ARITY
 o g
 Compound g
 o next
 Goal next
 o unifier
 Predicate unifier
The predicate record of a possible unifier for this goal.

Constructors

 o Conjunction
 public Conjunction(Compound g,
                    Goal next,
                    Prolog p)
 o Conjunction
 Conjunction(Compound g,
             Predicate unifier)
For use by normalise

See Also:
normalise

Methods

 o unify
 public boolean unify(Term insts[],
                      Prolog p) throws PrologException
Overrides:
unify in class Goal
 o redo
 public boolean redo(Term insts[],
                     Prolog p,
                     ChoicePoint cp) throws PrologException
Overrides:
redo in class Goal
 o instantiate
 void instantiate(Term insts[])
Instantiate a list of Goals with the given substitutions.

Overrides:
instantiate in class Goal
 o 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
 o compile
 public boolean compile(ClauseCodeGen ccg)
Overrides:
compile in class Goal
 o toString
 public String toString()
Overrides:
toString in class Goal

All Packages  Class Hierarchy  This Package  Previous  Next  Index