kompsos - Experimental miniKanren implementation

Age	Commit message (Expand)	Author
2026-02-06	Changed the map for DOT in Pretty_Print to a Hashed_Map	Jedidiah Barber
2026-02-06	Evaluation algorithm changed to inverted interleaved depth first search	Jedidiah Barber
2026-01-24	Minor tidyup and some more comments	Jedidiah Barber
2026-01-24	Unrolled linked lists for State	Jedidiah Barber
2026-01-22	States are now custom linked lists	Jedidiah Barber
2026-01-21	Refactor of evaluation using custom bookkeeping datatype instead of Maps	Jedidiah Barber
2026-01-19	Cached results now freed after being used by all possible branches	Jedidiah Barber
2026-01-17	Counter for next available Variable now held by each Goal instead of being gl...	Jedidiah Barber
2026-01-17	Removed free logic Variable tracking in States, removed Fresh_Node and Static...	Jedidiah Barber
2026-01-17	Recurse fixed, caching functions consolidated	Jedidiah Barber
2025-12-19	Worlds separated into Goals that run on a State, improvement to unification e...	Jedidiah Barber
2025-12-18	Reduced number of reallocations for conjunct operations	Jedidiah Barber
2025-12-16	Can now output the basic structural DAG of a World in DOT format	Jedidiah Barber
2025-12-14	Core rewritten with memoisation, but somehow Zebra example is bugged	Jedidiah Barber