Определить, является ли список упорядоченным по возрастанию - Prolog

Определить, является ли список упорядоченным по возрастанию. Аргументы: исходный список. ?- pred([a,b,d,f]). yes ?- pred([[a,f,b,d]). no ?-

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

is_ordered([_]).
is_odered([S1,S2|R]) :- S2>=S1, is_ordered([S2|R]).

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

is_ordered([_]) - это базовый случай, когда список пуст или содержит только один элемент. Функция возвращает true, так как список считается упорядоченным.
is_ordered([S1,S2|R]) - это рекурсивный случай, когда в списке есть как минимум два элемента. Функция проверяет, что второй элемент списка (S2) больше или равен первому элементу (S1). Если это условие выполняется, то функция вызывает саму себя для обработки оставшейся части списка ([S2|R]). Если условие не выполняется, то функция возвращает false, так как список не является упорядоченным.