| 
 | 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.CallTermBacktrackInfocall term backtrack info | 
| Field Summary | |
|---|---|
| static AtomTerm | headFunctorhead functor, it is completly unimportant what it is | 
| static Term[] | termArrayTypeterm 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 | |||||||||