Разделение списка и перестановка элементов - Prolog

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

Здравствуйте, помогите написать программы: 1) Создайте предикат, осуществляющий разделение исходного списка на два подсписка. В первый из них должно попасть указанное количество элементов из начала списка, во второй - оставшиеся элементы. 2) Создайте предикат, осуществляющий перестановку двух элементов списка с заданными номерами. Поиск юзал, нашел только это Буду очень благодарен за помощь

Решение задачи: «Разделение списка и перестановка элементов»

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

del_(L,I,[],L):-check(L,I),!.
del_([H|Tail],I,[H|A],B):-del(Tail,I,A,B).
 
check([],0).
check([_|Tail],I):-I1 is I-1,check(Tail,I1).

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

Код выполняет удаление элемента из списка. При этом если список пустой, то проверка успешна, иначе происходит рекурсивный вызов для оставшейся части списка с уменьшенным индексом. В коде присутствуют следующие переменные:

L — список, из которого удаляется элемент
I — индекс элемента, который необходимо удалить
A — результат удаления элемента
B — временная переменная, используемая в рекурсивном вызове Вот как это работает:
Если список пустой (L = []), то проверка успешна и код заканчивает работу.
Если список не пустой (L = [H|Tail]), то код делает рекурсивный вызов для оставшейся части списка (Tail) с уменьшенным индексом (I-1). При этом в новую переменную A записывается результат удаления элемента из оставшейся части списка, а в переменную B записывается результат вызова функции check для оставшейся части списка.
Если список был передан в функцию check и индекс элемента больше 0, то выполняется проверка. Если индекс равен 0, то проверка успешна и код заканчивает работу. Если индекс больше 0, то происходит рекурсивный вызов функции check для оставшейся части списка с уменьшенным индексом. В результате выполнения кода элемент с заданным индексом удаляется из списка.