kompsos - Experimental miniKanren implementation

Age	Commit message (Expand)	Author
7 days	Moved < operator for Graph_Component_Access over to Pretty_Print package	Jedidiah Barber
10 days	State now uses a Vector instead of a Map	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
2026-01-12	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