は、リスト内のファンクタ

Question

を確認しますか？

リストの頭が[Head | Tail]で、Head = [v(1,x)]となったら、どうすれば確認できますか？

Answer 1

あなたはすべての要素がフォームv(_,_)であることがわかっている場合は、単に統一を使用することができます。

Head = v(_, x) 

これはHead場合に限っを成功するには、この形式のものであり、すべての方向に正しく動作します。

リストの要素はそれほど均質でない場合は、  arg/3使用することができます。Headが十分がをインスタンス化し、すでにこれだけの理由でされている場合、これはのみ動作することを

arg(2, Head, x) 

は注意を以下 好ましい：

 
?- arg(2, v(a,x), x). 
true. 

?- arg(2, Head, x). 
ERROR: arg/3: Arguments are not sufficiently instantiated