프롤로그에서 힌트를 벗어난다.

Question

나는 통역사와 언어를 가지고있다.

interpreter(fran,french). 
interpreter(geraldine,german). 
interpreter(dudley,dutch). 
interpreter(spike,spanish). 
interpreter(polly,polish). 
interpreter(ron,romanian). 

language(french). 
language(german). 
language(dutch). 
language(spanish). 
language(polish). 
language(romanian). 

및 규칙 : 해석자가 동일한 언어를 사용하지 않습니다.

어떤 도움이 필요합니까?

Answer 1

한 가지 방법은 먼저 두 명의 통역사가 동일한 언어를 사용하는지 확인한 다음 해당 규칙의 부정이 사실인지 확인하는 것입니다.

rule2 :- not(nrule2(X, Y)). 
nrule2(X, Y) :- interpreter(X, L1), interpreter(Y, L2), X \= Y, L1 = L2. 

규칙 2는 두 명의 통역사가 같은 언어를 사용하지 않는 경우에만 위의 경우입니다.