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.


Constructor Index

 o call_1()

Method Index

 o compile_call(ClauseCodeGen, Term[], boolean)
Compiles a call to this predicate.
 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 call_1
 public call_1()

Methods

 o 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
 o redo
 public boolean redo(Term args[],
                     Prolog p,
                     ChoicePoint cp)
Redo a goal, i.e.

Overrides:
redo in class Predicate
 o compile_call
 public boolean compile_call(ClauseCodeGen ccg,
                             Term args[],
                             boolean lastcall)
Compiles a call to this predicate.

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

All Packages  Class Hierarchy  This Package  Previous  Next  Index