File "special"

This file captures host language code that was genuinely written. Its main goal is to provide natively implemented ISO core standard built-ins that help to realize the Prolog processor. In contrast to the file "machine", which does not expose some Prolog callable built-ins, but provides host language routines like Prolog unification and execution.

Section "util": The predefined predicates here mainly defined some convenience re-lated to control flow. More..

Section "univ": Prolog terms are at the heart of a Prolog system. The Dogelog player is not different. Internally it uses host language objects to represent them. More..

Section "type": Not all Prolog terms in Dogelog require new host language objects. Some Prolog terms can be mapped to host language primitives. More..

Section "atom": We make the content of a host language string, which is also our datatype of a Prolog atom visible as a list of Unicode points. More..

Section "prologue": The predefined predicates here mainly defined some convenience re-lated to list processing. More..

Kommentare