clojure - MiniKanren には「not」演算子がありますか?

Question

MiniKanren には「not」演算子がありますか?

たとえば、Prolog の

a :- b, not(c)

aが真であり、そうでない場合bは真ですc(Prolog では否定を失敗として使用します。つまり 、証明できないnot(c)場合は証明済みと見なされます)c

Prolognotは、地面以外の表現でも機能します。

a(X, d(Y)) :- b(d(X), d(Y)), not(c(d(X)))

Answer 1

https://github.com/zhjhxxxjh/ykanrenによると、答えはノーです。