/ykanren

miniKanren with a pure negation operator

Primary LanguageScheme

No issues in this repository yet.