All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.IfThen

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

public class IfThen
extends Goal
'->'/2: Represents an if-then goal in the body of a clause.


Variable Index

 o ARITY
 o FUNCTOR
 o if_goal
 o then_goal

Constructor Index

 o IfThen(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 if_goal
 Goal if_goal
 o then_goal
 Goal then_goal

Constructors

 o IfThen
 IfThen(Goal if_goal,
        Goal then_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