>>43
すみません、訂正。>>43の三番目のパターンのような使い方も可だが。

?- リストの中の要素Xの残りのリストがパターンPに適合するからどうか判定する述語([1,2,3,4,6,2,1],3,length(R,4),R).
R = [4,6,2,1]
yes
?-