|
GNU Prolog for Java | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
IAllocate | allocate environment instruction |
ICall | call instruction. |
ICreateCompoundTerm | create compound term |
ICreateVariable | create variable on pushDownStack |
ICut | cut instruction |
IDup | duplicate top of pushdown stack |
IFail | fail instruction |
IJump | true instruction |
Instruction | base call for instruction |
IPop | delete term from top of pushdown stack |
IPushArgument | push argument of execution state |
IPushConstant | push constant term |
IPushEnvironment | push term from environment |
IRestoreState | Restore current state from BacktrackInfo stored in environment |
IRetryMeElse | retry_me_else instruction |
IReturn | return with success instruction |
ISaveCut | save latest choice point as cut position instruction |
ISaveState | Save current state as BacktrackInfo in environment |
IStoreEnvironment | save top of pushdown list in environment |
IThrow | throw instruction |
ITrue | true instruction |
ITrustMe | trust_me instruction |
ITryMeElse | try_me_else instruction |
IUnify | call instruction. |
RetryInstruction | base class to try_me_else and retry_me_else instructions. |
|
GNU Prolog for Java | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |