kompsos/example, branch masterExperimental miniKanren implementationCleaned up code in Houses example2026-01-08T00:36:46+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-08T00:36:46+00:00d39d7f30fa897a0c12c6be8b5d2c6a122336f267
House number example program2026-01-06T10:44:33+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-06T10:44:33+00:008a8435b1f51401ebe4881ab8da1eb4f3913270fd
Worlds separated into Goals that run on a State, improvement to unification efficiency2025-12-19T08:51:48+00:00Jedidiah Barbercontact@jedbarber.id.au2025-12-19T08:51:48+00:000188dfb4d373cc8570222496f7d04cd3ae2774f3
Slightly more complete Zebra problem description2025-12-18T02:04:33+00:00Jedidiah Barbercontact@jedbarber.id.au2025-12-18T02:04:33+00:00ef52c89133ced2c19dca45eac09fe09ae5c8c7c9
Core rewritten with memoisation, but somehow Zebra example is bugged2025-12-14T06:53:01+00:00Jedidiah Barbercontact@jedbarber.id.au2025-12-14T06:53:01+00:00826b9d2dad1031a3eca29dd2fb8b6643e53e5fc1
Reordering of declarations to reduce memory usage2025-11-21T05:36:50+00:00Jedidiah Barbercontact@jedbarber.id.au2025-11-21T05:36:50+00:0056c6d3f2e2d15131f1fecccadb2eaa05546999ca