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.


Constructor Index

 o repeat_0()

Method Index

 o redo(Term[], Prolog, ChoicePoint)
Redo a goal, i.e.
 o toString()
 o unify(Term[], Prolog)
Resolve the given goal in the context of a Prolog engine.

Constructors

 o repeat_0
 public repeat_0()

Methods

 o unify
 public boolean unify(Term args[],
                      Prolog p)
Resolve the given goal in the context of a Prolog engine.

Overrides:
unify in class Predicate
 o redo
 public boolean redo(Term args[],
                     Prolog p,
                     ChoicePoint cp)
Redo a goal, i.e.

Overrides:
redo in class Predicate
 o toString
 public String toString()
Overrides:
toString in class Predicate

All Packages  Class Hierarchy  This Package  Previous  Next  Index