Написание простых предикатов на языке Prolog

1. Определите предикат p(+V, -L), истинный тогда и только тогда, ко-гда L – список всех элементов списка V, встречающихся в нем более одного раза.

2. Напишите предикат subst(+V, +X, +Y, -L), истинный тогда и только тогда, когда список L получается после замены всех вхождений элемента X в списке V на элемент Y.