Помогите решить задачу на SWI-Prolog

[hawk]

Помогите пожалуйста решить задачу на Прологе. Задача выглядит следующим образм
Напишите предикат p(+V, +X, -L) - истинный тогда и только тогда, когда список L получается из списка V после удаления всех вхождений X на всех уровнях, например, p([1,[2,3,[1]],[3,1]],1,[[2,3,[]],[3]])- истина.