All Packages Class Hierarchy This Package Previous Next Index
Class prolog.IfThenElse
java.lang.Object
|
+----prolog.Goal
|
+----prolog.IfThen
|
+----prolog.IfThenElse
- public class IfThenElse
- extends IfThen
';'('->'/2)/2: Represents an if-then-else goal in the body of a
clause.
-
else_goal
-
-
IfThenElse(Goal, Goal, Goal)
-
-
instantiate(Term[])
- Instantiate a list of Goals with the given substitutions.
-
redo(Term[], Prolog, ChoicePoint)
-
-
toString()
-
-
unify(Term[], Prolog)
-
else_goal
Goal else_goal
IfThenElse
IfThenElse(Goal if_goal,
Goal then_goal,
Goal else_goal)
unify
public boolean unify(Term insts[],
Prolog p) throws PrologException
- Overrides:
- unify in class IfThen
redo
public boolean redo(Term insts[],
Prolog p,
ChoicePoint cp) throws PrologException
- Overrides:
- redo in class IfThen
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 IfThen
toString
public String toString()
- Overrides:
- toString in class IfThen
All Packages Class Hierarchy This Package Previous Next Index