kompsos - Experimental miniKanren implementation

Age	Commit message (Expand)	Author
5 days	State now uses a Vector instead of a Map	Jedidiah Barber
6 days	Counter for next available Variable now held by each Goal instead of being gl...	Jedidiah Barber
7 days	Removed free logic Variable tracking in States, removed Fresh_Node and Static...	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-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-12	Bugfixes in Unify and Term Image, query function for World failure	Jedidiah Barber
2025-11-10	Infinite number of States in a World enabled with lazy evaluation	Jedidiah Barber
2025-11-09	Initial commit	Jedidiah Barber