kompsos - Experimental miniKanren implementation

Age	Commit message (Expand)	Author
6 days	Counter for next available Variable now held by each Goal instead of being gl...	Jedidiah Barber
12 days	Removed Nametags and identifier aliasing for Variables	Jedidiah Barber
2025-12-19	Worlds separated into Goals that run on a State, improvement to unification e...	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
2025-11-19	Reification, including Term flattening and Treeification	Jedidiah Barber
2025-11-16	Improvements to Fresh and Take	Jedidiah Barber
2025-11-16	Variable counting handled properly on a per-State basis	Jedidiah Barber
2025-11-15	Refactor of Terms that causes GNAT to STORAGE_ERROR	Jedidiah Barber
2025-11-15	Prelude combined into base, lazy Conjunct kinda working but still loops in so...	Jedidiah Barber
2025-11-12	Prelude now derives its own World so dot notation works for those subprograms	Jedidiah Barber
2025-11-09	Initial commit	Jedidiah Barber