>>41

リストの中の要素Xの残りのリストがパターンPに適合するからどうか判定する述語(_リスト,X,P,R) :-
　　　append(_,[X|R],_リスト),
　　　call(P).

% 要点は、引数にRを持つこと。そして、実際に目標とする時はPの引数の中にRが含ませる。