У меня вопрос по прологу. Вот База Знаний.
loves(vincent,mia).
loves(marcellus,mia).
loves(pumpkin,honey_bunny).
loves(honey_bunny,pumpkin).
jealous(X,Y) :-
loves(X,Z),
loves(Y,Z).
Это из книги "Изучите Prolog сейчас". Теперь, если я сделаю запрос ?- jealous(marcellus,W)., он вернет это W = vincent, но если я задам запрос ?- jealous(vincent,W)., результатом будет W=vincent Так что это означает, что Винсент завидует себе, а Марселлус не завидует себе. Почему ответ другой? Я использую swipl в Ubuntu Linux, который находится в VirtualBox на winxp. Я новичок в Прологе.
Спасибо
