Prolog - 使用迭代器回溯答案

【问题标题】：Prolog - backtracking with iteratorProlog - 使用迭代器回溯
【发布时间】：2024-01-03 17:59:02
【问题描述】：

我有一个谓词：

solve(parts(X), Places) :-
    "iterate Pl from Places to 0",
    tryPutPart(X, Pl),
    fail.

我想在那里强制回溯，因为我想要所有可能的解决方案。（相反，我会在不同的谓词中递归地找到位置 Pl）。

有没有可能以某种方式做到这一点？我的想法是制作一个长度为Places 并看起来像[1, 2, 3.....] 的列表，然后尝试从其中不确定地输出一些 Y。

我想要的行为是如果我将places(0). places(1). places(2). - ... - 等写入代码，然后像这样写

:- places(Y), tryPutPart(X, Y).

【问题讨论】：

【解决方案1】：

您可以使用between/3 谓词检查给定范围内的所有整数。例如：

?- between(1, 10, N), N > 3, write(N), nl, fail.
4
5
6
7
8
9
10
false.

【讨论】：

【解决方案2】：

对于这个问题，我使用了谓词for

for(M,M,N):- M < N.
for(I,M,N):- M < N, M1 is M + 1, for(I,M1,N).

然后你可以强制回溯：

solve(parts(X),Places) :- for(Y, 1, TPlaces), tryPutPart(X, Y), fail.

【讨论】：