miniKanren with a "pure" negation operator