akuhlens / minikanren-with-symbolic-constraints Goto Github PK
View Code? Open in Web Editor NEWThis project forked from webyrd/minikanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
License: MIT License