dtpeters / first-order-minikanren-guile Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jdyb/first-order-minikanren-guile
miniKanren with a first-order representation of the search space (ported to Guile)
License: MIT License