从序言中的提示中排除规则
Make rule out of a hint in prolog
我有口译员和语言。
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).
和规则：
没有口译员说同一种语言。
有什么帮助吗？
解决这个问题的一种方法是首先检查是否有任何两个口译员说同一种语言，然后检查对该规则的否定是否为真。
rule2 :- not(nrule2(X, Y)).
nrule2(X, Y) :- interpreter(X, L1), interpreter(Y, L2), X \= Y, L1 = L2.
只有当没有两个口译员说同一种语言时，规则 2 才为真。
我有口译员和语言。
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).
和规则： 没有口译员说同一种语言。
有什么帮助吗？
解决这个问题的一种方法是首先检查是否有任何两个口译员说同一种语言，然后检查对该规则的否定是否为真。
rule2 :- not(nrule2(X, Y)).
nrule2(X, Y) :- interpreter(X, L1), interpreter(Y, L2), X \= Y, L1 = L2.
只有当没有两个口译员说同一种语言时，规则 2 才为真。