All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.Disjunction

java.lang.Object
   |
   +----prolog.Goal
           |
           +----prolog.Disjunction

public class Disjunction
extends Goal
';'/2: Represents a disjunctive goal in the body of a clause.


Variable Index

 o ARITY
 o either_goal
 o FUNCTOR
 o or_goal

Constructor Index

 o Disjunction(Goal, Goal)

Method Index

 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 either_goal
 Goal either_goal
 o or_goal
 Goal or_goal

Constructors

 o Disjunction
 public Disjunction(Goal either_goal,
                    Goal or_goal)

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. We overwrite the old Compound objects in the list with their instantiated counterparts.

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 toString
 public String toString()
Overrides:
toString in class Goal

All Packages  Class Hierarchy  This Package  Previous  Next  Index