All Packages Class Hierarchy This Package Previous Next Index
Class prolog.lib.call_1
java.lang.Object
|
+----prolog.Predicate
|
+----prolog.lib.call_1
- public class call_1
- extends Predicate
call/1: Succeeds if it's argument is bound to a list of goals
(e.g. ','(g1, ','(g2, g3))) which has a solution, otherwise
fails.
-
call_1()
-
-
compile_call(ClauseCodeGen, Term[], boolean)
- Compiles a call to this predicate.
-
redo(Term[], Prolog, ChoicePoint)
- Redo a goal, i.e.
-
toString()
-
-
unify(Term[], Prolog)
- Resolve the given goal in the context of a Prolog engine.
call_1
public call_1()
unify
public boolean unify(Term args[],
Prolog p) throws ArgumentException
- 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
compile_call
public boolean compile_call(ClauseCodeGen ccg,
Term args[],
boolean lastcall)
- Compiles a call to this predicate.
- Overrides:
- compile_call in class Predicate
toString
public String toString()
- Overrides:
- toString in class Predicate
All Packages Class Hierarchy This Package Previous Next Index