prolog - 在 ECLiPSe-CLP 中写入圆形区域有错误

Question

我编写了一个谓词，用于通过 EClipse-clp 计算圆形面积。

 circle(R) :- S is 3.14*R^2, write(S).

它有以下错误：

调用未定义的过程 circle(R) :- S 为 3.14 * R^2，在模块 eclipse 中写入(S)

标签： prolog

Answer 1

这真的很基础。你必须区分

• 定义- 这是您的程序代码，由谓词定义组成，而谓词定义又由事实和规则组成。从逻辑上讲，这是您定义什么是true的地方。
• 查询- 这是您调用程序的地方。从逻辑上讲，你问某事是否真实，以及如何。

定义通常从源文件加载/编译。查询通常输入到查询提示中。您似乎在查询提示中键入定义。