在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
,但我收到错误。
有谁知道错误是什么?
由于
答案 0 :(得分:2)
您正在告诉prolog执行不存在的命令。 如果您的文件只包含:
weather(sunny).
然后运行命令
weather(foggy).
会返回false。