Prolog - Palindrome Functor

Question

Prologに述語palindrome/1を書き込もうとしていますが、リスト入力が回文リストである場合にのみ真です。例えば

：

?- palindrome([1,2,3,4,5,4,3,2,1]). 

が真です。

アイデアや解決策はありますか？

Answer 1

回文リストは、あなたはそれが同じリストを生成するかどうかを確認するために、リストを逆にすることができますので、逆方向に同じことを読み込むリストである：

palindrome(L):- 
    reverse(L, L). 

Answer 2

宿題の質問のように、この確認音が、私はちょうど自分自身を助けることはできません。

palindrome(X) :- reverse(X,X). 

技術的には、プロローグファンクタは何も「戻る」はありません。

Answer 3

は、誰もが逆/ 2ベースのソリューションに投票されていることを検索します。私はあなたの人は、指定されたリストのO（n）であることを念頭に置いて、逆/ 2の解を持つと思います。アキュムレータで何か：

reverse(X,Y) :- reverse(X,[],Y). 

reverse([],X,X). 
reverse([X|Y],Z,T) :- reverse(Y,[X|Z],T). 

しかし、回文をチェックする他の方法もあります。私はDCGを利用するソリューションを考え出しました。次のルールを使用できます。

palin --> []. 
palin --> [_]. 
palin --> [Border], palin, [Border]. 

どのソリューションが優れていますか？さて、Prologシステムのプロファイル のコマンドを使って、少しの統計をすることができます。ここでの結果は以下のとおりです。

はDCGソリューションが正の場合（「レーダー」）で、多くの場合、高速であるので、多分、それは は全体の逆リストを作成する必要はありませんが、直接、真ん中に移動します はそれ自身の再帰を残している間に残りをチェックします。しかし、DCGソリューション の欠点は、それが非確定的であることです。
http://www.jekejeke.ch/idatab/doclet/prod/en/docs/10_dev/10_docu/02_reference/04_examples/02_count.html

は、しかし、他のPrologシステムは、同様の機能を持っている：いくつかの時間の測定が

さようなら...

P.S：Jekejekeプロローグの新しいプラグ可能なデバッガで行うポートの統計情報をより多くを言うだろう。 DCGのでそれをやって、
http://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations

Answer 4

別の方法：

palindrome --> [_]. 
palindrome --> [C,C]. 
palindrome --> [C],palindrome,[C]. 

をあなたはこのような回文かどうかを確認することができます

?- phrase(palindrome,[a,b,a,b,a]). 
true. 

?- phrase(palindrome,[a,b,a,b,b]). 
false. 

Answer 5

チェック詳細については、 "コードプロファイラー" 欄を参照してくださいこの解決策

palin(L):- palin(L,[]). 

palin(L,L). 
palin([_|T],T). 
palin([H|T],list):- palin(T,[H|list]).