Написать программу нахождения минимального элемента списка - Prolog

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

Прошу решить: Написать программу нахождения минимального элемента списка. Изобразить схему логического вывода.

Решение задачи: «Написать программу нахождения минимального элемента списка»

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

?- min([2,3,4,1,5,6,7],1).
6=<7 now min is 6
5=<6 now min is 5
1=<5 now min is 1
4>=1 now min is 1
3>=1 now min is 1
2>=1 now min is 1
true .

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

В этом коде используется отрицание с помощью символа вопроса (?), чтобы задать вопрос о том, является ли первый элемент списка минимальным. Если первый элемент является минимальным, то возвращается его значение, иначе будет выполнен следующий запрос с исключением первого элемента из списка.

Задается список [2,3,4,1,5,6,7]
Вопросом min([2,3,4,1,5,6,7],1) задается вопрос о том, является ли первый элемент списка (2) минимальным.
Если 2 является минимальным, то возвращается его значение (2).
Если 2 не является минимальным, то первый элемент исключается из списка и выполняется следующий запрос с вопросом о минимальности нового первого элемента (3).
Если 3 является минимальным, то возвращается его значение (3).
Если 3 не является минимальным, то второй элемент исключается из списка и выполняется следующий запрос о минимальности нового первого элемента (4).
Если 4 является минимальным, то возвращается его значение (4).
Если 4 не является минимальным, то третий элемент исключается из списка и выполняется следующий запрос о минимальности нового первого элемента (1).
Если 1 является минимальным, то возвращается его значение (1).
Если 1 не является минимальным, то четвертый элемент исключается из списка и выполняется следующий запрос о минимальности нового первого элемента (5).
Если 5 является минимальным, то возвращается его значение (5).
Если 5 не является минимальным, то пятый элемент исключается из списка и выполняется следующий запрос о минимальности нового первого элемента (6).
Если 6 является минимальным, то возвращается его значение (6).
Если 6 не является минимальным, то шестой элемент исключается из списка и выполняется следующий запрос о минимальности нового первого элемента (7).
Если 7 является минимальным, то возвращается его значение (7).
Если 7 не является минимальным, то список пуст и возвращается значение true. Таким образом, результатом выполнения этого кода будет число 1, так как это минимальный элемент списка [2,3,4,1,5,6,7].