Prolog 中的算术

在前面的章节中，示例是非数值的。在本节中，我们将使用 is/2 内置谓词。 此谓词被预定义为中缀运算符。 is/2 谓词位于两个参数之间。

如果第一个参数是一个未绑定的变量，则主要使用谓词 is/2。 目标 A is -4.2 表明 A 绑定到数字 -4.2，并且目标成功。

算术表达式或数字可以用第二个参数表示。

例如

在算术表达式中，任何变量都必须已经绑定。 这些变量的值必须是数值。 算术表达式的值绑定第一个参数的变量。 如果不是，将生成错误消息作为结果。

在算术表达式中，+ - * / 符号是特殊类型的中缀运算符，这些运算符也称为算术运算符。 在 Prolog 中，运算符用作谓词，但这里的运算符是函数，这些运算符返回一个数值。

算术表达式可以包括变量、数字、运算符和算术函数。 这些将用括号括起来及其参数一起书写。 它们将像算术运算符一样返回数值。

例如： 25 的平方根。

减号 (-) 算术运算符用作二元中缀运算符，用于描述两个数值的差，例如 A - 2。它也用作一元前缀运算符，用于描述数值的负数，例如

Prolog 中可用的算术函数和算术运算符如下表所示

示例

is 谓词以正常方式使用。 第一个参数可以是具有数值的绑定变量或数字。 在两个参数中，计算数值。 如果这些值相等，则目标成功。 如果这些值不相等，则失败。

无论 A 是否绑定，目标 A is A + 1 始终会失败。

使用不同的方法将值增加 1。

?- increase(4).

否

?- increase(4, A).

A = 5

关系运算符

关系运算符是 =:=、>、<、>=、=/=、=<。 关系运算符比较两个参数的值。 如果第一个参数的值等于、大于、小于、大于或等于、不等于、小于或等于第二个参数的值，则目标成功。 两个参数都可以是算术表达式、绑定变量或数字。