Folder "store"
Terms are cooperatively garbage collected with the host. The
knowledge base provides non-nested rollback.
- Section "unicode": The Dogelog player accepts Prolog
texts in Unicode code points based on Unicode general categories
and numeric values. More..
- Section "trimming": The Prolog interpreter regularly
performs environment trimming to help the host language garbage
collector. More..
- Section "adaption": The frequency of the environment
trimming is automatically adapted to the host language runtime
and the device hardware. More..
- Section "union": Binary built-in predicates such as
(=)/2, (==)/2, etc.. have been implemented using a variant of
union find. More..
- Section "stack": To have no stack limit, we avoid the
native stack and use a manually programmed stack for certain
unary and binary predicates. More..