プロローグのヒントを排除する

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

これにアプローチする1つの方法は、最初に2人の通訳者が同じ言語を話しているかどうかを確認し、そのルールの否定が真であるかどうかを確認することです。

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

ルール2は、2人の通訳者が同じ言語を話さない場合にのみ真です。