kompsos, branch masterExperimental miniKanren implementationChanged Scheme benchmark tests to need manual code copy/paste from miniKanren for better performance comparisons2026-02-14T09:46:03+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-14T09:46:03+00:00bcb7a1156252da6cd16b7d3505e3f5b686a5669f
Proper credit info for mk.scm, mkdefs.scm, uk.scm comparison testing files2026-02-10T02:51:40+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-10T02:51:40+00:00b23d73cfa76919a726558e51bf0b0f0cc7c1575e
Readme updated to note IDDFS use2026-02-09T01:52:20+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-09T01:52:20+00:00ad7fc58a7097e19c49cbf4a7c11ae9c0a7086a52
More complete IDDFS that resets counter when backtracking2026-02-08T22:54:31+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-08T22:54:31+00:00ab78413a044900e421d2e0144f3c170bdc3f0b18
Iterative deepening depth first search as a complete (?) search method2026-02-08T09:00:52+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-08T09:00:52+00:0032eea08483afb754c7da5663f33cd022d4a2723c
Changed the map for DOT in Pretty_Print to a Hashed_Map2026-02-06T08:32:44+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-06T08:32:44+00:000b9e8a567265584f8ad5f321a38cf1f183875693
Evaluation algorithm changed to inverted interleaved depth first search2026-02-06T04:19:26+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-06T04:19:26+00:006bced91bd28f860d830dfda921ee5056ec93f48c
Some equivalent test programs in Scheme running on microKanren and miniKanren for benchmark comparisons2026-01-29T09:12:41+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-29T09:12:41+00:009b964acdb0cc36d09193861b8f7d33aea248ee46
Slight revision to readme2026-01-25T01:56:27+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-25T01:56:27+00:00ef17f7c61ba43390b3000295579e96a8354c6e17
Minor tidyup and some more comments2026-01-24T07:17:20+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-24T07:17:20+00:0000886e535241a994b71ca1ce62f24f5f11ec9255