Prolog는/2, 또는/2, nand/2, 또는/2, xor/2

Question

프롤로그에 다음 조건부를 구현하고이를 진리표 및/2 또는/2, nand에 사용하고자합니다./2,/2, xor/2

다른 사람이 나를 구현하고 여기에 게시 할 수 있도록 누군가가 나를 구현하고/2 예를 들어 보여줄 수 있습니다.

Answer 1

주의 : and/2 대신 and/3을 의미 할 수도 있습니다. AND는 진리 값과 2의 관계를 정의하는 3 진 술어입니다. 물론 진리 값이 암시적인 경우 Prolog의 내장 메커니즘을 사용할 수 있습니다 (= 사물을 명시 적으로 표현하는 것). 그러나 시작하려면 모든 진리 값을 명시 적으로 표시하고 "예를 들어 주어진 작업에 대해 어떤 진리 값이 false을 생성합니까?"라고 물어볼 수 있기 때문에 3 진 관계로 시작할 것입니다. 당신이 시작 부울 값 사실 나타 내기 위해 나는 원자 true를 사용 and/3의 진리표에 대해 하나 개의 항목으로 활용하려면 다음

and(true, true, true). 

---

독립적으로, 또한, 부울 제약 사용을 고려를하는 예를 들어 SICStus Prolog 및 GNU Prolog에서 사용할 수 있으며 진리 값과 부울 표현식 간의 관계를 선언적으로 표현할 수 있습니다. SICStus 프롤로그 library(clpb)를 사용

예 :

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

이것은 결합의 첫번째 인자가 거짓이면, 전체의 결합이 아니라 거짓임을 나타낸다.

: 또, 예를 들면 원자 library(clpb)에로 표시 taut/2

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

또는 보편적 정량화 변수를 사용하여, 그 결합은 교환 적이다 판별 SICStus 프롤로그의 CLP (B) 솔버를 사용하여

| ?- 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). 

그냥 A/B를 true/false로 바꿉니다. 예 :

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