Question

我一直在努力了解如何从回溯的Prolog谓词中产生一系列值。内置谓词between/3将在回溯时一次生成一个范围内的所有整数，因此编写代码的示例可以帮助我完成任务。

我在现有的Prolog系统中寻找了一个实现，但GNU Prolog的between/3的实现是一个C函数，其技巧是调用另一个C函数“Pl_Create_Choice_Point”，它允许它生成回溯的附加价值。

Answer 1

bet(N, M, K) :- N =< M, K = N.
bet(N, M, K) :- N < M, N1 is N+1, bet(N1, M, K).

行动中：

$ swipl
?- [bet].
% bet compiled 0.00 sec, 1,064 bytes
true.

?- bet(1,5, K).
K = 1 n
K = 2 n
K = 3 n
K = 4 n
K = 5 n
false.

如果使用剪切，则可以防止最终搜索失败，并恢复/ 3行为之间的确切内置：

bet(N, M, K) :- N < M, K = N.
bet(N, M, K) :- N == M, !, K = N.
bet(N, M, K) :- N < M, N1 is N+1, bet(N1, M, K).

行动中：

?- [bet].
% bet compiled 0.00 sec, 416 bytes
true.

?- between(1,5,K).
K = 1 n
K = 2 n
K = 3 n
K = 4 n
K = 5.

?- [bet].
% bet compiled 0.00 sec, 240 bytes
true.

?- bet(1,5,K).
K = 1 n
K = 2 n
K = 3 n
K = 4 n
K = 5.

Answer 2

您真正要问的是如何创建一个选择点。只要您成功统一，就可以获得解决方案。这就是@ seanmcl的第一个谓词中发生的事情：

bet(N, M, K) :- N =< M, K = N.

要获得选择点，您需要有其他选择。在Prolog中只有两种方法可以获得替代方法：使用明确的“或”：;，或者提供另一条规则。 @ seanmcl的代码给出了另一条规则，这是适用于这种情况的。

再举一个例子，member/2为列表中的每个项目生成一个解决方案，但是没有神奇的C函数需要，只有两个规则：

member(X, [X|_]).
member(X, [_|Xs]) :- member(X, Xs).

让我们看看member(X, [1,2])在这里发生了什么。首先，使用第一条规则，[X|_]与[1,2]统一，生成X=1，_=[2]。这是一个成功的统一，因此生成了一个解决方案。如果此操作失败（例如您在控制台上按;），则会启动回溯。下一个选择点在两个规则之间，因此输入下一个规则。 [_|Xs]与[1,2]统一，生成绑定Xs=[2]，然后调用member(X, [2])。重新进入后，可以再次做出相同的决定，因此应用第一个规则member(X, [X|_])并生成X=2绑定。这是一个解决方案。如果你再次回溯，你将获得无害的失败，因为这两条规则都没有与[]统一。

我希望这有助于了解情况。

你能在纯粹的prolog之间写/ 3吗？

2 个答案: