parameters - 如何将谓词作为参数传递给 Prolog 中的另一个谓词？

Question

我有这 3 个谓词:

times(X, Y):-
    Result is X * Y.
minus(X, Y):-
    Result is X - Y.
plus(X, Y):-
    Result is X + Y.

我想通过例如 times(2,2)在 plus(X, Y)像这样 plus(times(2,2), minus(X, Y)) .

Answer 1

首先，您需要了解 Prolog 谓词实际描述的是什么:它们不是函数，而是值之间的关系。所以如果你想有一个加法谓词，这需要是一个带三个参数的谓词:plus(A, B, Sum) .因此，在 Prolog 中，结果不像在许多其他语言中那样免费显示。

代替

plus(X, Y):-
   Result is X + Y.

你需要写

plus(X, Y, Result) :-
   Result is X + Y.

接下来你想要的是进一步传递中间值。在支持函数的语言中，这是一项非常容易的任务。但是在 Prolog 中，函数符号是未解释的。因此，要么您对关系中的所有内容进行编码，要么实现您自己的 (is)/2 版本。 .
对于初学者，宁可坚持第一个选项。因此，而不是

..., plus(times(2,2), minus(X, Y)) ...

现在写

..., times(2, 2, R), plus(R, minus(X, Y), S), ...

与 S作为最终结果。

请注意，如果直接在关系中编码表达式，则必须引入中间变量，如 R以上。

很明显，对于这样的目的，(直接)关系符号不太优雅。对于非常精确的区域，Prolog 也提供表达式，特别是 (is)/2然后在更一般的设置 library(clpfd) .

但是，作为初学者，最好先习惯关系表示法。学习 successor arithmetics 可能是一个更好的主意第一的。使用前 library(clpfd) 并在使用之前 (is)/2 .