yinwang0 / ykanren

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

Related projects

Alternatives and complementary repositories for ykanren