kompsos - Experimental miniKanren implementation

Age	Commit message (Expand)	Author
8 days	Refactor of evaluation using custom bookkeeping datatype instead of Maps	Jedidiah Barber
10 days	State now uses a Vector instead of a Map	Jedidiah Barber
10 days	Cached results now freed after being used by all possible branches	Jedidiah Barber
12 days	Counter for next available Variable now held by each Goal instead of being gl...	Jedidiah Barber
12 days	Removed free logic Variable tracking in States, removed Fresh_Node and Static...	Jedidiah Barber
13 days	Recurse fixed, caching functions consolidated	Jedidiah Barber
2026-01-12	Removed Nametags and identifier aliasing for Variables	Jedidiah Barber
2026-01-05	Very slight improvement to Unify checks	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