Package gnu.prolog.vm.interpreter

InterpretedCodeCompiler uses the various classes beginning with I and extending Instruction in the instruction sub-package to compile clauses to InterpretedByteCode.

See:
Description

Interface Summary

TracerEventListener

Listens for TracerEvents.

Class Summary

CallBacktrackInfo	call backtrack info
EnterBacktrackInfo	this backtrack info is created upon entering in predicate, it is used to detect fails and it is a normal cut parent.
ExceptionHandlerInfo	this class contains information about exception handling.
ExecutionState	execution state class
InterpretedByteCode	Interpreted Code.
InterpretedCodeCompiler	compiler from predicate to interpreted code This version assume following All variables are stored in environment Environment is not reused for different branches
LeaveBacktrackInfo	this backtrack info is put to stack upon exit from from user defined predicate in return instruction.
LeaveByteCodeBacktrackInfo	this backtrack info is put to stack upon exit from from user defined predicate in return instruction.
Predicate_call	prolog code
Predicate_call.CallTermBacktrackInfo	call term backtrack info
RetryBacktrackInfo	retry backtrack info.
Tracer
TracerEvent	The event object send to TracerEventListeners

Enum Summary

Tracer.TraceLevel

Different trace levels

Package gnu.prolog.vm.interpreter Description

InterpretedCodeCompiler uses the various classes beginning with I and extending Instruction in the instruction sub-package to compile clauses to InterpretedByteCode. This uses a Warren Abstract Machine model of execution and so reading the paper "An Abstract Prolog Instruction Set" by David Warren (1983, Technical note 309) might help to understand it.