diff options
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -90,12 +90,13 @@ instead. All the Goal operations beyond the microKanren four take an array of Terms as input in order to allow for Conjunct to be reasonably implemented. -The State datatype makes use of custom linked lists, and the bookkeeping data -in the Collector package uses a custom directed acyclic graph structure that -reflects the main Goal graph. This is done instead of using Vectors or Maps -from the standard library both to improve speed and reduce memory requirements. -The improvement due to tail sharing is considerable, despite the theoretically -expensive operations involved walking the list to reify a variable. +The State datatype makes use of custom unrolled linked lists, and the +bookkeeping data in the Collector package uses a custom directed acyclic graph +structure that reflects the main Goal graph. This is done instead of using +Vectors or Maps from the standard library both to improve speed and reduce +memory requirements. The improvement due to tail sharing is considerable, +despite the theoretically expensive operations involved in walking the list to +reify a variable. |