yinwang0 / ykanrenLinks

miniKanren with a constraint-based negation operator
10Updated 11 years ago

Alternatives and similar repositories for ykanren

Users that are interested in ykanren are comparing it to the libraries listed below

Sorting: