Предикатное программирование

Построить спецификации
В списке вставить элемент x после элемента y
2. Инвертировать список
3. Удалить элемент из списка

1. В списке вставить элемент x после элемента y
type T;
type S = list(T);
ins(S s, T x, y: ????) ≡ pre??????????
post?????????;