ВУЗ:
Составители:
Рубрика:
39
decimal (0).
decimal (1).
decimal (2).
decimal (3).
decimal (4).
decimal (5).
decimal (6).
decimal (7).
decimal (8).
decimal (9).
write_decimal (C):- decimal (C), write (C), nl.
goal
write_decimal (C).
2.12.2 Метод возврата после неудачи
Метод возврата после неудачи может быть использован для управления
вычислением внутренней цели при поиске всех возможных решений. Данный
метод либо использует внутренний предикат Пролога fail, либо условие,
которое порождает ложное значение.
Пример 35: распечатать все десятичные цифры.
domains
d=integer
predicates
decimal (d)
write_decimal
clauses
decimal (0)
decimal (1).
decimal (2).
decimal (3).
decimal (4).
decimal (5).
decimal (6).
decimal (7).
decimal (8).
decimal (9).
write_decimal:- decimal (C), write (C), nl, fail.
goal
write_decimal.
В программе есть 10 предикатов, каждый из которых является
альтернативным предложением для предиката decimal (C). Во время
попытки вычислить цель внутренние подпрогрммы унификации связывают
переменную C с термом первого предложения, то есть с цифрой 0. Так как
существует следующее предложение, которое может обеспечить
Страницы
- « первая
- ‹ предыдущая
- …
- 37
- 38
- 39
- 40
- 41
- …
- следующая ›
- последняя »
