prolog - 如何在 Prolog 中表示 "Alberich hates everyone but himself"？

Question

我目前正在学习 prolog，我正在努力使“Alberich 讨厌除了他自己以外的所有人”的语法正确。我想我可以将“Alberich 讨厌每个人”表示为 hates(Alberich, X)，但我如何表示“但他自己”？

Answer 1

您指定 X 不同于 albrich:

hates(alberich, X) :-
    <b>dif(alberich, X)</b>.

请注意，常量以小写字母开头，因此您应该使用 alberich，而不是 Alberich，因为 Alberich 只是一个变量 作为标识符 Alberich。