5、Prolog中的算术运算与目标满足机制

Prolog中的算术运算与目标满足机制

1. 算术运算的应用

1.1 数字比较

在处理数字时，比较数字大小是常见的需求。Prolog提供了一些内置谓词用于比较数字，这些谓词可以处理被视为算术表达式的项。其参数可以是实例化为整数的变量、常量形式的整数，或者更通用的表达式。以下是这些比较运算符的具体形式：
| 运算符 | 含义 |
| ---- | ---- |
| X =:= Y | X和Y代表相同的数字 |
| X =\= Y | X和Y代表不同的数字 |
| X < Y | X小于Y |
| X > Y | X大于Y |
| X =< Y | X小于或等于Y |
| X >= Y | X大于或等于Y |

需要注意的是，“小于或等于”符号在Prolog中不是像许多编程语言那样写成“<=”，这样Prolog程序员可以自由地将看起来像箭头的“<=”原子用于其他目的。

虽然这些比较运算符是谓词，但不能随意添加事实来改变内置谓词的含义。例如，不能写 2 > 3. 这样的事实，因为Prolog不允许对内置谓词添加额外的事实，以防止意外改变其含义。

1.2 数字比较的示例

假设我们有一个关于9世纪和10世纪威尔士君主统治时期的数据库，使用 reigns 谓词来表示王子的统治时间。 reigns(X,Y,Z) 表示名为X的王子从Y年到Z年统治。数据库中的事实如下：