将谓词演算语句翻译成 Prolog

Question

我们可以从

翻译以下逻辑吗

empty_class(C) ← ¬∃X(takes(X, C)) .

到

empty_class(C):-takes(not(X),C)

？ 我的看法是 ¬∃X = ∀X 谁能帮我解释一下这个逻辑，谢谢

Answer 1

不完全是。它翻译为

empty_class(C) :- not( takes( X, C) ).

not 已弃用，因此我们将其写为

empty_class(C) :- \+ takes( _, C) .

这已经是存在主义了。