Comment Comment by sls miniKanren is great. Here[1]'s Will Byrd on the difference between it and Prolog.[1] http://minikanren.org/minikanren-and-prolog.html parent sls 5 years ago
[1] http://minikanren.org/minikanren-and-prolog.html