/ykanren

miniKanren with a pure negation operator

Primary LanguageScheme

Stargazers