| 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface PrologCode
Implementing classes can be executed and return a return code of
 SUCCESS, SUCCESS_LAST, or FAIL.
 
 Predicate_halt can
 also return HALT
| Field Summary | |
|---|---|
| static int | FAILpredicate failed | 
| static int | HALTreturned by the interpreter when it was halted, should never be returned by prolog code | 
| static int | SUCCESSpredicate was returned with success, backtrack info was created, and re-execute is possible. | 
| static int | SUCCESS_LASTpredicate was returned with success, backtrack info was not created | 
| Method Summary | |
|---|---|
|  int | execute(Interpreter interpreter,
        boolean backtrackMode,
        Term[] args)this method is used for execution of code | 
| Methods inherited from interface gnu.prolog.vm.Installable | 
|---|
| install, uninstall | 
| Field Detail | 
|---|
static final int SUCCESS
static final int SUCCESS_LAST
static final int FAIL
static final int HALT
| Method Detail | 
|---|
int execute(Interpreter interpreter,
            boolean backtrackMode,
            Term[] args)
            throws PrologException
interpreter - interpreter in which context code is executedbacktrackMode - true if predicate is called on backtracking and false otherwiseargs - arguments of code
PrologException| 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||