prolog Searching the Lists

Я пытаюсь сравнить списки. Дана функция(List1,List2) и List1 имеет длину N, а List 2 имеет длину M и N>M.

Я хочу проверить, является ли какая-либо перестановка List2 первыми M символами List1.

например,

predicate([a,c,b,d,e],[a,b,c,d]).

должно быть true и

predicate([a,c,b,e,d],[a,b,c,d]).

должно быть false.

Спасибо.