7.6. Дополнительные сведения
Пролог рассматривался
в качестве первого приближения к
логическому программированию, и
предполагалось, что в результате
дальнейших исследований он будет
вытеснен. Средства управления в Прологе
всегда считались ограниченными и
упрощенными. Популярный лозунг,
провозглашенный Ковальским
(Kowalski, 1979b), - “Алгоритм
= Логика
+ Управление”.
Средства управления, использованные в
чистом Прологе, рассматривались как
первый этап на пути к декларативному
программированию и интеллектуальному
управлению. Но время показало обратное.
Средства управления Пролога были
признаны достаточными для многих
приложений, и язык не только выдержал
испытание временем, но и завоевал
популярность.
Несмотря на это,
в работах по логическому программированию
предлагались и другие виды управления.
Например,
LOGL1SP (Robinson, Siber,
1982) использует
обход дерева в ширину,
IC-Пролог
(Clark, McCale,
1978) использует
сопрограммы.
MU-Пролог
(Naish,
1985a) допускает
приостановку вычислений для обеспечения
корректной реализации отрицания и
исключения возможных случаев поиска
по бесконечным ветвям. Условия ожидания
были обобщены
(Naish, 1985a) в
связи с условиями завершения программ
на Прологе, приведенными в разд.
7.2.
Другие исследования,
касающиеся свойств программ на Прологе,
обсуждаются в
(Mellish, 1985).
