Prologでリストの先頭に要素を追加する

Question

Prologでリストの先頭に要素を追加するにはどうすればよいですか？私はそうのように呼ばれるように最終的な結果を必要とする：

pushFront(8, [3, 1], NewList). % NewList is now [8, 3, 1]. 

私は次のようにそれを実装しようとしています：

pushFront(Item, [], [Item|_]). %Problematic 
pushFront(Item, [OldDequeH|OldDequeT], NewDeque) :- 
    leftPush(OldDequeH, OldDequeT, [Item|NewDeque]). 

をしかし、それは動作しません、と私はTBHアイデアの出です。誰が私の実装に間違っているのか、そしてそれが適切に動作するために必要な変更を記述できますか？

Answer 1

リストだけ表記を使用し、リストの先頭に要素を追加するには：

pushFront(Item, List, [Item|List]). 

リスト表現はそれほどリスト[b,c,d]が'.'(b,'.'(c, '.'(d, [])))のためだけ糖衣構文で、内部短所ファンクタ（.）を使用しています。

この表現では、別の小切手ファクタをラップするだけで項目を追加することができます。つまり、リストの前に項目を追加する場合L'.'(a, L)をラップします[a|L]となります。