Question

我试图在SWI-Prolog的列表中为数字添加1或2。

我设法将1或2添加到列表的头部但是我在添加到列表尾部的每个元素上时遇到了困难。我不想在不同时间同时向每个元素添加1或2。即如果我的意见是加（[2,3,4]，X）。

我希望X的可能性如下： X = [3,3,4] X = [4,3,4] X = [2,4,4] X = [2,5,4] X = [2,3,5] X = [2,3,6]

我目前的代码是：

add([],[]).
add([H1|T1],[H2|T2]) :-
                    is(H2,+(H1,1)), T1=T2;
                    is(H2,+(H1,2)), T1=T2.

显然，这只会在列表的头部添加1或2而不是尾部。因此，是否有人知道我如何在列表尾部的元素上添加1或2？

Answer 1

首先定义一个谓词addX/3，它将X添加到第一个列表的一个成员中：

addX([], [],_).     % base case
addX([H|T], [H1 | T], X) :- H1 is H + X.   % add to first element
addX([H|T], [H | T1], X) :- addX(T, T1, X). % or retain the first element and add to some element in the tail

使用它将add谓词定义为addX X=1或X=2：

add(L, R) :- addX(L, R, 1).
add(L, R) :- addX(L, R, 2).

测试：

?- add([2,3,4], X).
X = [3, 3, 4] ;
X = [2, 4, 4] ;
X = [2, 3, 5] ;
X = [2, 3, 4] ;
X = [4, 3, 4] ;
X = [2, 5, 4] ;
X = [2, 3, 6] ;
X = [2, 3, 4].

Answer 2

有时候更详细可以更清楚：

add([],[]).
add([H1|T],[H2|T]) :-
 H2 is H1+1.
add([H1|T],[H2|T]) :-
 H2 is H1+2.
add([H|T1],[H|T2]) :-
 add(T1,T2).

现在列出了替代品，最后一个只是处理 - 递归 - 剩余的元素

无论如何，你的代码只是缺少一行：

add([],[]).
add([H1|T1],[H2|T2]) :-
 is(H2,+(H1,1)), T1=T2;
 is(H2,+(H1,2)), T1=T2;
 H1=H2, add(T1,T2).

评论之后，以下是如何减去并保留正值：

add([H1|T1],[H2|T2]) :-
 H2 is H1-1, H2 > 0, T1=T2;
 ...

Prolog列表，在列表的尾部添加1

2 个答案: