7

我知道 Prolog（逻辑编程）都是关于返回 true 和 false，并且函数是返回从列表到数字到布尔值的任何东西的东西。最初，Prolog 似乎没有函数的概念，而是依赖于统一，但您可以执行以下操作：

?- X is log(42).
X = 3.7376696182833684.

所以似乎存在功能？或者这真的只是某种隐藏统一部分的语法糖？

如果它真的只是语法糖，那么如果我想定义一个像 log2 这样的数学“函数”，我该怎么办？

当然我可以使用统一：

log2(X,Result) :- Result is log(X)/log(2).

但是假设我想使用“语法糖函数样式”，所以我可以写：

?- X is log2(8).
X = 3.0.

我怎样才能在 Prolog 中做到这一点？

4

2 回答 2

8

Prolog 是关于描述实体之间的关系。由于数学函数是一种特殊的关系（它将输入与唯一定义的输出相关联），您可以使用 Prolog 来描述此类函数。在您的示例中，实现此关系的谓词称为is/2，并且(is)/2在 Prolog 中也定义为中缀运算符，因此您可以编写：

?- X is log(42).

而不是前缀形式（当然也可以接受）：

?- is(X, log(42)).

请注意，它is/2执行表达式的算术评估，并将第一个参数与结果统一起来。这不同于X与 Prolog 术语的统一log(42)。

请注意，尽管这is/2不是真正的关系，因为您不能在另一个方向上使用它：

?- 0 is log(X).
ERROR: is/2: Arguments are not sufficiently instantiated

一个解决方案是使用约束（例如，在实数上，称为 CLP(R)），它在所有方向上都起作用。它们在许多现代 Prolog 系统中作为库或内置程序提供。

于 2013-08-24T15:35:32.423 回答
4

所以这只是统一..（感谢 mbratch 和 mat 的解释）

这就是我解决最初问题的方法，从而使我的代码在使用自定义数学函数时更具可读性：

:- op(900, xfy, <-).
R <- log2(Y) :- R is log(Y)/log(2), !.

% the two predicates below solves the problem with using mathematical operators
% together with self defined functions note that they should always be last
%
R <- X :-
    compound(X),
    X =..[OP, X2, X3],
    R2 <- X2,
    R3 <- X3,
    Expr =..[OP, R2, R3],
    R is Expr, !.
R <- X :- R is X, !.

然后我可以写：

?- X <- log2(8).
X = 3.0.

此外，最后两个谓词使编写复合词成为可能，例如：

?- X <- 17*log2(8) - 2.
X = 49.0.

请注意，您不能乱用 is/2，因此我有点推翻它，而是使用我自己的 <- 运算符

编辑：添加了 mat 建议的语法糖，并添加了两个谓词，它们在使用新定义的 log2 与其他数学运算符结合使用时解决了问题

于 2013-08-24T15:42:56.723 回答