要素がリスト内の別の要素の背後にあるかどうかを確認する述語

Question

与えられたのはリストと2つの要素です。最初に、2つの要素がリストの一部であるかどうかを確認する必要がありました。その後、要素Elem2
が指定されたリストのElem1の後に来るかどうかを確認する必要がありました。 私が使用している述語は、引数が3つのweiterHintenです。

例：cがリストの[a、c、b、a]の後にbかどうかを確認します。

weiterHinten([H|T],H,B). 
weiterHinten([H|T],A,B):-weiterHinten(T,A,B). 

weiterHinten([a,c,b,a],b,c). 

この目標は、私は、リストのヘッダーがあることを見つけた後Aに等しいことを私はBは、リストの末尾のメンバーであるかどうかを確認する必要があるだろう、false.Iが知って返す必要があります。そうであれば、それはBがAの後ろにあることを意味しますが、私はこれを行う方法がわかりません。

は、私が試した：

weiterHinten([H|T],H,B):-member(B,T). 

をしかし、私は目標を呼んでいた時はいつでもElem1

Answer 1

がweiterHinten([H|T],H,B).ルールを除外した後Elem2であった場合、それはいつも私のために関係なくtrueを返しました。これはweiterHinten([H|T],H,B) :- true.の構文上のショートカットであり、それはナンセンスです。

これは私のために働いている：

weiterHinten([H|T],H,B) :- member(B, T). 
weiterHinten([H|T],A,B) :- weiterHinten(T,A,B). 

結果は

| ?- weiterHinten([a,c,b,a],b,c). 

no 
| ?- weiterHinten([a,b,c,a],b,c). 

true