プロローグの巻き戻しリスト

Question

unwindHead([E|Es], F) :- unwinded(E); unwindHead(E, E). 
unwinded(L) :- \+ is_list(L). 

?- unwindHead([[1]], X). 

上記はtrueを返しますが、Xを返しません。どうして？

Answer 1

あなたが持っているものは非常に近く、私はあなたがちょうどプロローグでねじれていると思う。最初にそれを論理的に分解してから、Prologを見てください。正しくは、リストの最初の要素自体がリストであるかどうかという点で考えています。その後、我々はEを取得し、我々は[E|_]とEがリストではありません「くつろぎ」場合

1. ：ルールはどのように見えるかを書き出します。
2. [E|_]とEがリストである場合は、結果を得るために「再帰的に」「巻き戻す」Eを返します。

   unwind_head([E|_], E) :- \+ is_list(E). 
   unwind_head([E|_], F) :- is_list(E), unwind_head(E, F). 
   

   "のif-else" あなたはまた、このために構築プロローグを使用することができます：私たちはどのような尾を気にしたことがない

   unwind_head([E|_], F) :- 
       ( is_list(E) 
       -> unwind_head(E, F) 
       ; F = E 
       ). 
   

   ノートのようになります

リストですので、_を使用できます。