Задачи для зачёта - Prolog

Формулировка задачи:

1. Что будет результатом выполнения запроса e(5,[1,2,5,8,1,5,7],X), Если ЛП выглядит следующим образом:

e(x,[X|Xs],Xs).
e(x,[X|Xs],[Y|Ys2]):-X<>Y,e(X,Ys1,Ys2).

Как ещё можно ипользовать данную программу (привести примеры запросов и ответы на них). Думаю, что ответ [5,8,1,5,7]. Тоесть модифицирует, список так, чтобы осталась часть после первого вхождения "5". Не понимаю какие ещё можно сделать запросы?

Решение задачи: «Задачи для зачёта»

Листинг программы

e(X,[X|Xs],Xs).
e(X,[Y|Ys1],[Y|Ys2]):-X<>Y,e(X,Ys1,Ys2).

Объяснение кода листинга программы

Код представляет собой реализацию алгоритма обхода дерева. Вот список, описывающий его работу:

e(X,[X|Xs],Xs) - если X равно пустому списку, то есть Xs, то возвращаем Xs.
e(X,[Y|Ys1],[Y|Ys2]):-X<>Y - если X не равно Y, то рекурсивно вызываем e(X,Ys1,Ys2).
e(X,[Y|Ys1],[Y|Ys2]):-X=Y - если X равно Y, то объединяем Ys1 и Ys2 в одну последовательность и возвращаем ее.