Prolog没有给出正确的答案

Question

我正在学习Prolog。我写了一些简单的事实。但似乎Prolog并没有给我正确的答案。请帮助我理解我在这里做错了什么。

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。为什么不给出答案？

Answer 1

您需要非常非常仔细地查看答案：

City = pheonix .
              ^ SPACE!

答案替换和点之间有一个空格。这个小提示告诉我们：你已经不再要求进一步的答案了。再次尝试查询，这次键入SPACE或;，但不要键入RETURN，因为它会再次停止答案。

Answer 2

通常，在写完第一个答案后，您可以键入一些键，通常是＆＃34 ;;＆＃34;，以便回溯并接收另一个答案。