由Prolog中的邏輯NOT定義的狀態

Question

如何在謂詞中創建邏輯NOT？
如果我想定義依賴於三個條件的狀態，它可能看起來像：

test(A, B, C) :- cond(A), cond(B); cond(C). 

你如何定義的狀態爲NOT A和非B和不是C？

Answer 1

你的病情的普通閱讀（注：將如預期，序言的約束條件下 - 用失敗否定 - 只有當A，B，C被實例化）

test(A,B,C) :- \+ cond(A), \+ cond(B), \+ cond(C). 

這相當於（布爾代數適用於否定）：

test(A,B,C) :- \+ (cond(A) ; cond(B) ; cond(C)).