prolog - 如何在 Prolog 中表示“Alberich 讨厌除了他自己以外的所有人”？

Question

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

标签： prolog

Answer 1

您指定X不同于albrich：

hates(alberich, X) :-
    dif(alberich, X).

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