Пример 2. Организовать меню для выбора арифметической операции.
Программа 16. Меню
Domains
x=integer
Predicates
menu
actions(x)
repeat
Clauses
repeat.
repeat:- repeat.
menu:- repeat,
write(“Введите 1 для +, 2 для *, 3-для -, 0-для выхода\n”),
readint(N),
actions(N).
actions(0):-!.
actions(1):-write(“Введите первое число”), nl, readint(A),
write(“Введите второе число”) nl, readint(B),
С=A+B,write(C),nl,fail.
actions(2):- write(“Введите первое число”), nl, readint(A),
write(“Введите второе число”) nl, readint(B),
С=A*B,write(C),nl,fail.
actions(3):- write(“Введите первое число”), nl, readint(A),
write(“Введите второе число”) nl, readint(B),
С=A-B,write(C),nl,fail.
Пример 3. Вычислить n-ый член последовательности Фибоначчи. N-ый член последовательности Фибоначчи, начиная с третьего, определяется суммой 2-х предыдущих, а 1-ый и 2-ой члены равняются единице.
Введем двуместный предикат fib, первый аргумент будет определять порядковый номер члена, а второй будет записываться для записи ответа. Введем два факта, первый - первый член последовательности Фибоначчи равен 1, второй - второй член последовательности равен 1, а для определения n-го члена запишем правило. Действительно, чтобы определить n-ый член, мы должны определить значения двух предыдущих и сложить их.
Ответом будет F=1, и Пролог сделает попытку сопоставить с запросом второй факт и потерпит неудачу. Однако сопоставление головы третьего утверждения с запросом происходит успешно и осуществляется попытка доказать цель fib(-1,F1), что в свою очередь, приводит к цели fib(-2, …)и так далее, т.е. образуется бесконечный цикл. Эту ситуацию можно устранить, используя отсечение и тем самым, указывая Прологу, что не существует других решений в случае успешного согласования граничного условия.