Предикат, удаляющий из списка последний элемент - Prolog

В данном коде представлена реализация предиката del_last, который удаляет последний элемент из списка. Вот что происходит в этом коде:

1. del_last([H],[]); - если список пуст, то есть не содержит ни одного элемента, то возвращается пустой список.
2. del_last([H|T],[H|T1]):-del_last(T,T1); - если в списке есть хотя бы один элемент, то он присваивается переменной H, а оставшаяся часть списка - переменной T. Затем рекурсивно вызывается del_last для списка T, и результат этого вызова присваивается переменной T1. В итоге, возвращается список, состоящий из элемента H, за которым следует список T1. Таким образом, данный код представляет собой простую реализацию функции удаления последнего элемента из списка на языке Prolog.