列出大小乘法

Question

我是 Prolog 的新手，我正在努力了解列表。我正在努力解决的问题是： 给定列表形式的数字 (1 : [x], 3: [x, x, x])，实现 'times' 谓词 /3。 例如：次（[x，x]，[x，x，x]，R）。 R = [x, x, x, x, x, x]。

加号和后继谓词在哪里 2 以前的练习点。我知道我没有使用后继谓词，但后来它似乎没那么有用了。

这是我迄今为止尝试过的

successor([], [x]).
successor([X|T], R) :- 
    append([X|T], [X], R).

plus(L1, L2, R) :- append(L1, L2, R).

times([], _, []).
times(_, [], []).
times([_], L, L).
times(L, [_], L).
times([_|T], L2, R) :- plus(L2, R, RN),
    times(T, L2, RN).

输出是： R 是 []。

Answer 1

我认为你在这里把事情弄得太复杂了。您可以将successor 定义为：

successor(T, [x|T]).

我们可以将plus/3定义为：

plus([], T, T).
plus([x|R], S, [x|T]) :-
    plus(R, S, T).

这或多或少是append/3的实现，只不过这里我们检查第一个列表是否只包含x。

对于times/3，我们知道如果第一项为空，则结果为空：

times([], _, []).

对于第一项具有[x|R] 形状的times/3，我们需要将第二项添加到使用R 调用times/3 的结果中：

times([x|R], S, T) :-
    times(R, S, T1),
    plus(S, T1, T).

所以把它们放在一起，我们得到：

successor(T, [x|T]).

plus([], T, T).
plus([x|R], S, [x|T]) :-
    plus(R, S, T).

times([], _, []).
times([x|R], S, T) :-
    times(R, S, T1),
    plus(S, T1, T).