アキュムレータと反対側のプロローグエラー

Question

いくつかのエラーを解決できますか？私はこのエラーを理解していません。

reverse(L, R) :- reverse(L, [], R). 
reverse([], R, R). 
reverse([Head|Tail], Acc, R) :- NewAcc is [Head|Acc], reverse(Tail, NewAcc, R). 

？ - reverse [1,2,3]、X）。

Type error: `[]' expected, found `[2|1]' (a compound) ("x" must hold one character) 

Answer 1

あなたの述語は、原則的に動作しますが、あなたはおそらく代わりに、算術評価の/ 2は、あなたの再帰的な目標で/ 2である統一（=）を使用したい：あなたの述語の作品、この小さな変更で

reverse(L, R) :- 
    reverse(L, [], R). 

reverse([], R, R). 
reverse([Head|Tail], Acc, R) :- 
    NewAcc = [Head|Acc],    % <- here 
    reverse(Tail, NewAcc, R). 

：

コメントで@lurkerで指摘したように

?- reverse([1,2,3],R). 
R = [3,2,1] 

、あなたはその再帰的に[Head|Acc]を組み込むことにより、よりコンパクトに再帰ルールを表現することができますそのような目標：

reverse([Head|Tail], Acc, R) :- 
    reverse(Tail, [Head|Acc], R). 

しかし、あなたは彼らがより簡単に読み取り可能なコードを生成するように、このタスクのDCGsを使用して検討したいと思うかもしれません：

reverse(L,R) :- 
    phrase(invlist(L),R). 

invlist([]) --> 
    []. 
invlist([H|T]) --> 
    invlist(T), 
    [H]. 

それぞれのクエリでは：

?- reverse([1,2,3],R). 
R = [3,2,1]