Поэтому порядок может повлиять на

Поэтому порядок может повлиять на эффективность программы; неудачный порядок может даже привести к бесконечным рекурсивным вызовам.

Имея декларативно правильную программу, можно улучшить ее эффективность путем изменения порядка предложений и целей при сохранении ее декларативной правильности. Переупорядочивание - один из методов предотвращения зацикливания.

Кроме переупорядочивания существуют и другие, более общие методы предотвращения зацикливания, способствующие получению процедурно правильных программ.

В данной главе обсуждались следующие понятия:

объекты данных:

атом, число, переменная, структура

терм

функтор, арность функтора

главный функтор терма

сопоставление термов

наиболее общая конкретизация

декларативная семантика

конкретизация предложений,

вариант предложения

процедурная семантика

вычисление целевого утверждения

Содержание Назад Вперед

Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий