GNU Prolog for Java

Package gnu.prolog.vm.interpreter.instruction

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