Я изучаю Пролог. Я написал несколько простых фактов. Но похоже, что Пролог не дает мне правильных ответов. Пожалуйста, помогите мне понять, что я здесь делаю не так.
facts
- weather.pl
weather(pheonix,summer,hot).
weather(pheonix,winter,warm).
weather(la,summer,warm).
Когда я запускаю это в swi-prolog следующим образом
?- weather(City,_,warm).
City = pheonix .
Результат отображается только как pheonix
. Но la
также warm
. Почему это не дано в качестве ответа?