为什么我在 Prolog 中遇到 pi 类型错误？

Question

我正在使用

pi

作为我正在编写的 Prolog 程序的一部分。这是我在整个节目中唯一提到的

pi

：

ArcDistance is ((Degree/ 360) * Diameter * pi).

但是，当我运行该程序时，出现以下错误：

uncaught exception: error(type_error(evaluable,pi/0),(is)/2)

我在调用/使用

pi

方面做错了什么吗？感谢您的帮助！

Answer 1

在 ISO-Prolog 中，即自 Cor.2:2012 起，原子

pi

被定义为通常的含义。

考虑到您所显示的系统的响应，您似乎使用的是旧版本的 GNU-Prolog，例如 1.3。然而，它是在至少从 1.4.0 开始的版本中定义的。

pi

目前在 IF、B、XSB、YAP、GNU、SWI、SICStus、Scryer、Trealla、Ichiban、ECLiPSe 以及可能的许多其他系统中定义。