MiniKanren 有“非”运算符吗？

Question

MiniKanren 有“非”运算符吗？

例如，如何表示 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答案是否定的。