List 序言：反向列表--can'；我找不到错误
我想写一个List 序言：反向列表--can'；我找不到错误,list,prolog,reverse,List,Prolog,Reverse,我想写一个reverse/2函数。这是我的代码，我无法找出错误所在 rev([]). rev([H|T],X):-rev(T,X),append(T,H,_). 输出： rev ([1,2,3,4], X). false. 当List2的元素与List1相反时，rev（？List1，？List2）为true rev(Xs, Ys) :- rev(Xs, [], Ys, Ys). rev([], Ys, Ys, []). rev([X|Xs], Rs, Ys, [_|Bound])
reverse/2rev([]).
rev([H|T],X):-rev(T,X),append(T,H,_).
rev ([1,2,3,4], X).
false.
List2List1rev（？List1，？List2）truerev(Xs, Ys) :-
rev(Xs, [], Ys, Ys).
rev([], Ys, Ys, []).
rev([X|Xs], Rs, Ys, [_|Bound]) :-
rev(Xs, [X|Rs], Ys, Bound).
?- rev([1,2,3,4],X).
X = [4, 3, 2, 1].
?- rev([3,4,a,56,b,c],X).
X = [c, b, 56, a, 4, 3].
的解释
待命rev（[X|Xs]（1），Rs（2），Ys（3），[uu124; Bound]（4））
[X | Xs]
（1）rev（Z，[3,2,1]）。Rs[X|Xs]（1）Ys[|Bound]帮助列表Ysrev（Xs（5），[X|Rs]（6），Ys（3），Bound（7））。X[X|Xs]Rs[X|Rs]YsBound[\u124; Bound]rev（[]（9），Ys（10），Ys（3），[]（12））时，递归结束。true[X|Xs][]YsYs（3）[[u124;绑定]（4）[]请注意
append/3append（？List1、List2、List1AndList2）。HList2append（T，H，)append/2append/3?- append([[1,2],[3]],X). % append/2 - Concatenate a list of lists.
X = [1, 2, 3].
?- append([4],[5],X). % append/3 - X is the concatenation of List1 and List2
X = [4, 5].
您不应该在函子名称rev和参数列表之间放置空格。通常这会导致语法错误：
Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.1)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
?- rev ([1,2,3],X).
ERROR: Syntax error: Operator expected
ERROR: rev
ERROR: ** here **
ERROR: ([1,2,3],X) .
reverse(X, Y) :-
reverse2(X, [], Y).
reverse2([], X, X).
reverse2([X|Y], Z, T) :-
reverse2(Y, [X|Z], T).
请注意，
rev（[]）没有任何意义。rev（[]，[]）。rev（[]，[]）。rev（[H | T]，X）：-rev（T，R），append（R，[H]，X）。rev（[]）revrev/4rev/4rev（A，B）