如何在 prolog 中实现一种 sumator

Question

我正在尝试实现谓词，该谓词将在所有变量未替换的模式下工作 sum(X,Y,Z) 将生成满足条件 X+Y=Z 的所有数字。 那么实际上我可以通过这种方式生成下一个数字的列表。

lisst([_]).
lisst([_|Y]) :- lisst(Y).
fill([]).
fill([0|Xs]) :- fill(Xs).
fill([1|Xs]) :- fill(Xs).
fill([2|Xs]) :- fill(Xs).
fill([3|Xs]) :- fill(Xs).
fill([4|Xs]) :- fill(Xs).
fill([5|Xs]) :- fill(Xs).
fill([6|Xs]) :- fill(Xs).
fill([7|Xs]) :- fill(Xs).
fill([8|Xs]) :- fill(Xs).
fill([9|Xs]) :- fill(Xs).



concat_number(D,N) :- concat_number(D,N,0).
concat_number([],M,M).
concat_number([H|T],N,M) :- M1 is M*10+H, concat_number(T,N,M1).

    sum2(X,Y,Z) :-lisst(X),fill(X),lisst(Y),fill(Y),concat_number(X,X1), concat_number(Y,Y1), Z is X1 + Y1.

我对 prolog 的要求是？- sum2(X,Y,Z)。但它不能很好地工作，只有 Y 数在变化。

Answer 1

您遇到的行为是由于 Prolog 的深度优先搜索控制算法：因为Y 具有无限数量的值，所以 Prolog 永远不会回溯到它的选择点之外。你应该实现一个iterative deepening search 算法，比如

length(XY, _),       % backtrack over lists in order of length
X=[_|_],             % constrain X and Y to be non-empty
Y=[_|_],
append(X, Y, XY),    % break XY into X and Y
fill(XY),            % fill X and Y in one go
concat_number(X,I),
concat_number(Y,J),
Z is I+J.