miniKanren with a pure negation operator - View it on GitHub