|
GNU Prolog for Java | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
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 |
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 | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||