GNU Prolog for Java

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.


GNU Prolog for Java