prolog - 排除序言中的提示

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 才成立。