Вывести все числа от n до 1 - Prolog

Вывести все числа от n до 1.

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

?- N = 5, M is -N, between(M, 0, X), Y is -X, writeln(Y), fail ; true.
5
4
3
2
1
0
true.

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

В этом коде:

N = 5 - переменной N присваивается значение 5.
M is -N - переменной M присваивается значение, равное отрицательному значению N (то есть, 5).
between(M, 0, X) - проверяется, что значение переменной M (то есть, -5) находится в диапазоне от 0 до значения переменной X. Если это так, то переменной X присваивается значение M (то есть, -5).
Y is -X - переменной Y присваивается значение, равное отрицательному значению X (то есть, -(-5) = 5).
writeln(Y) - выводится значение переменной Y (то есть, 5).
fail - вызывается оператор fail, который обозначает конец последовательности действий.
true - в конце всегда возвращается true. Итак, в результате выполнения этого кода выводится число 5.