|
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 |