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