在swi-prolog中,我加载了一个文件,该文件只有这个:
% -*- Mode : Prolog -*-
sunny.
在终端中,如果我这样做
?- sunny.
它说true
.但如果我这样做
?- fff.
我希望它说false
,但它反而说
ERROR: Undefined procedure: fff/0 (DWIM could not correct goal)
这个网站 http://www.doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/facts.html 在使用foggy.
做示例时,它说输出应该no
,但我得到一个错误。
有谁知道出了什么问题?
谢谢
你告诉prolog执行一个不存在的命令。如果您有一个文件
,则只包含:weather(sunny).
然后运行命令
weather(foggy).
将返回假。