ВУЗ:
Составители:
первой точке, где было несколько кандидатов на унификацию, и подставляем следующий
из возможных дизъюнктов. Этот механизм явился красивой и экономичной с точки зрения
представления программ альтернативой явному выписыванию условных операторов. Но,
конечно же, с точки зрения исполнения программ он может безнадежно проигрывать в
эффективности.
Правило «брать первого кандидата из не отвергнутых ранее» обладает и другими
особенностями. Во-первых, логика перестает быть классической, поскольку тривиально
истинный дизъюнкт вида
P(X) :– P(X).
при помещении в программу вполне может привести к ее зацикливанию (если он приме-
нится однажды, то он будет применяться бесконечно). Во-вторых (и это уже большой
плюс), появляется возможность выражать циклы и индукцию при помощи правил типа
A(N) :– N1 is N-1,
A(N1),
B.
Далее Пролог, некоторое время просуществовав в университетской среде, неожи-
данно получил громадную рекламу в связи с тем, что японцы объявили его внутренним
языком своего проекта ЭВМ пятого поколения. В итоге была набрана критическая масса
людей, которые знают Пролог, получили под него ассигнования и больше ничего знать не
хотят. Более того, сам термин «логическое программирование» сейчас понимается как
программирование на Прологе.
46
Страницы
- « первая
- ‹ предыдущая
- …
- 44
- 45
- 46
- 47
- 48
- …
- следующая ›
- последняя »
