swf: Да, конечно, реализация списка другая. В Прологе элементы списка не нумерованы, чтобы, скажем, удалить не первый элемент, до него нужно ещё дойти.

Со срезами обнаружила, что отрицательный и положительный шаг обрабатывается по разным правилам.
Если шаг положительный, то начальное значение (н.з) может быть больше конечного (к.з).
Последний элемент имеет индекс -1, можно брать диапазон, скажем, от 0 до -1:
a[0:-1:+1]
А если шаг отрицательный, то всё: н.з. должно быть больше к.з.
Например, идём в обратном порядке от последнего элемента до первого (не включая):
a[-1:0:-1] - не работает.
Это очень странно.
Вместо одного правила нужно запоминать два.
И где: в работе с основной структурой для представления данных.

https://forum.sources.ru/index.php?showtopic=419241&view=findpost&p=3836194