|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectgnu.prolog.vm.ExecuteOnlyCode
gnu.prolog.vm.interpreter.Predicate_call
public class Predicate_call
prolog code
| Nested Class Summary | |
|---|---|
static class |
Predicate_call.CallTermBacktrackInfo
call term backtrack info |
| Field Summary | |
|---|---|
static AtomTerm |
headFunctor
head functor, it is completly unimportant what it is |
static Term[] |
termArrayType
term arry constant |
| Fields inherited from interface gnu.prolog.vm.PrologCode |
|---|
FAIL, HALT, SUCCESS, SUCCESS_LAST |
| Constructor Summary | |
|---|---|
Predicate_call()
|
|
| Method Summary | |
|---|---|
int |
execute(Interpreter interpreter,
boolean backtrackMode,
Term[] args)
this method is used for execution of code |
static Term |
getClause(Term term,
Map<Term,VariableTerm> argumentsToArgumentVariables)
convert callable term to clause |
static int |
staticExecute(Interpreter interpreter,
boolean backtrackMode,
Term arg)
this method is used for execution of code |
| Methods inherited from class gnu.prolog.vm.ExecuteOnlyCode |
|---|
install, uninstall |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final AtomTerm headFunctor
public static final Term[] termArrayType
| Constructor Detail |
|---|
public Predicate_call()
| Method Detail |
|---|
public int execute(Interpreter interpreter,
boolean backtrackMode,
Term[] args)
throws PrologException
PrologCode
execute in interface PrologCodeexecute in class ExecuteOnlyCodeinterpreter - interpreter in which context code is executedbacktrackMode - true if predicate is called on backtracking and false otherwiseargs - arguments of code
PrologException
public static int staticExecute(Interpreter interpreter,
boolean backtrackMode,
Term arg)
throws PrologException
interpreter - interpreter in which context code is executedbacktrackMode - true if predicate is called on backtracking and false otherwisearg - argument of code
PrologException
public static Term getClause(Term term,
Map<Term,VariableTerm> argumentsToArgumentVariables)
term - argumentsToArgumentVariables -
|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||