All Packages Class Hierarchy This Package Previous Next Index
Class prolog.lib.repeat_0
java.lang.Object
|
+----prolog.Predicate
|
+----prolog.lib.repeat_0
- public class repeat_0
- extends Predicate
repeat/0: Create an "infinite" choicepoint.
-
repeat_0()
-
-
redo(Term[], Prolog, ChoicePoint)
- Redo a goal, i.e.
-
toString()
-
-
unify(Term[], Prolog)
- Resolve the given goal in the context of a Prolog engine.
repeat_0
public repeat_0()
unify
public boolean unify(Term args[],
Prolog p)
- Resolve the given goal in the context of a Prolog engine.
- Overrides:
- unify in class Predicate
redo
public boolean redo(Term args[],
Prolog p,
ChoicePoint cp)
- Redo a goal, i.e.
- Overrides:
- redo in class Predicate
toString
public String toString()
- Overrides:
- toString in class Predicate
All Packages Class Hierarchy This Package Previous Next Index