Prolog實現和/ 2，或/ 2，nand/2，nor/2，xor/2

Question

我想在prolog中實現以下謂詞並將它們用於真值表：and/2或/ 2，nand/2，也沒有/ 2，xor/2

也許有人可以告訴我如何實現和/ 2例如，我可以做其他人我自己和張貼在這裏。

Answer 1

請注意：您可能的意思是and/3，而不是and/2。 AND是一個三元謂詞，定義了真值之間的關係，而不是2.當然，不要用通俗化（=使事情明確），而是可以使用Prolog的內置機制，其中隱含真值。但是首先，我要從三元關係開始，因爲這會使所有的真值都顯式化，並讓您也可以要求例如：「對於給定的操作，哪些真值會產生false？」爲了讓您一開始，爲and/3，這裏我用的是原子true真值表來表示布爾值真一個條目：

and(true, true, true). 

---

獨立地，也可以考慮使用布爾約束，這例如在SICStus Prolog和GNU Prolog中可用，並讓您以聲明方式表達真值和布爾表達式之間的關係。在SICStus Prolog中使用library(clpb)

實施例：

| ?- sat(X*Y =:= T), X = 0. 
X = 0, 
T = 0 ? 

這表明，如果一個配合的第一個參數爲假，則整個結合也是假。此外，我們可以例如使用SICStus的Prolog的CLP（B）解算器，以確定結合是可交換的，即使用taut/2

| ?- taut(A*B =:= B*A, T). 
T = 1 ? 

或普遍量化變量，表示爲原子在library(clpb)：

| ?- sat(a*b =:= b*a). 
yes 

因此，使用二進制值時，布爾約束可能是非常有用的工具。

Answer 2

/2是可能的，而且實際上非常有效。

and(A,B) :- A,B. 
or(A,B) :- A;B. 
nand(A,B) :- not(and(A,B)). 
nor(A,B) :- not(or(A,B)). 
xor(A,B) :- or(A,B), nand(A,B). 

要使用只是用true/false替換A/B。例如：

?- and(true,true). 
true. 
?- and(false, true). 
false.