質問: head % that is, if x is the head of the list member(x, [_|tail]) :- % or if x is a member of tail, member(x, tail). % ie. if member(x, tail) is true. 1つのルールのみを使用して定義します。
回答: 使用を許可されている他の述語を指定しなかったので、少しだましてみます。 :pmember(x, l) :- append(_, [x|_], l).