두 개의 인수를 취하는 규칙을 참조하여 하나의 인수를 취하는 규칙을 만들려면 어떻게해야합니까? (초급)

Question

나는 다음과 같은 규칙을 만들려면

: X에 대한 "false"로 규칙 1에 출력하는 경우,

rule2(X) :- 
    is "true" if rule1(X,Y) is false. 

---

그래서 규칙 2가 출력 X에 대해 "true"로하고 어떤 값 Y

---

이 정보가 도움이되기를 바랍니다. 나는 초보자 인 prolog입니다. 재미 있었지만 몇 시간 동안이 문제에 매달 렸습니다! 감사.

Answer 1

나는 !, fail 접근 방식에 찬성 논리적하지 \+/1을 사용하는 것이 좋을 것 :

rule2(X):- \+ (rule1(X,_)).