プロローグは次のように私はリストのリストを持っている好み

Question

とリストのリスト内の要素を見つけます。 たとえば、Q、wを持っていて、Z、rまたはE、rを取得する必要があります。 私は何とかプライオリティを持って、Zを含むタプルが欲しいと言っていますが、もし存在しなければ、私にE、rを与えてください。

私が試した：

member([Q,w,Z,VB],[[Q,w,E,o],[Q,w,Z,r],[A,s,D,f]]). 

しかし、それは常に私にZ = E, VB = o

Answer 1

を与えるあなたはアトムと変数間のPrologの違いを知っておく必要がありますまず、あなたは今すぐ
hereその構文についてを読むことができます大文字で始まるアトムのリストが必要な場合は、それらを一重引用符で囲む必要があります。そうでない場合、プロローグはそれらを変数として解釈します。
今、あなたはあなたの相談、あなたが得る次の結果の構文を修正した場合：

?- member(['Q',w,Z,VB],[['Q',w,'E',o],['Q',w,'Z',r],['A',s,'D',f]]). 

VB = o, 
Z = 'E' 
VB = r, 
Z = 'Z' 
false 

注意をどのように私は、単一引用符で囲まれたこのケースでZを除き、大文字で始まるすべての原子、および述語の第1引数にVBがあります。この場合、これらは変数として機能し、このケースを完了するために必要な原子をプロローグによってインスタンス化します。