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.