Folder "machine"
The instruction set of the Dogelog player is rather minimal. The
same instruction set is used in cross compilation and at runtime.
- Section "embedding": We do not combine different
instruction streams. Instead, we have host language objects for
Prolog clauses and Prolog goals. More..
- Section "instruction": Depending whether an
instruction is found in the head or in the body, the behaviour
of the instruction is differently. More..
- Section "internals": The Dogelog player keeps the
number of Albufeira instructions low. It provides low-level
control flow instructions via built-ins. More..
- Section "trailing": The execution environment of
Dogelog Player provides the state to drive a Prolog engine that
is based on an iterative execution. More..
- Section "inline": The inlining of if-then-else and
arrow functions is based on an exten-sion of the notion of a
Prolog callable. More..