|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface PrologCode
prolog code
| Field Summary | |
|---|---|
static int |
FAIL
predicate failed |
static int |
HALT
returned by the interpreter when it was halted, should never be returned by prolog code |
static int |
SUCCESS
predicate was returned with success, backtrack info was created, and re-execute is possible. |
static int |
SUCCESS_LAST
predicate 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 | |||||||||