рых применение данных подходов имеет преимущества по срав
нению с
операторным программированием. Практические аспек
ты функционального программирования изучаются на примере
языка Haskell — лучшей современной реализации функциональ
ной парадигмы. В
теоретическом обосновании приведены наи
более важные (для данных целей) результаты лямбда исчисления
и комбинаторной логики. Представлена наиболее «продвинутая»
практическая реализация идеи логического программирования:
язык Пролог. Даны его детальное описание и приемы программи
рования. Основное внимание уделено таким областям примене
ния Пролога, как программирование баз данных, синтаксичес
кий анализ, реализация переборного и эвристического поиска,
задачи искусственного интеллекта, в том числе обработки нечет
ких данных, программирование в ограничениях (Constraint Logic
Programming). Подробно описаны теоретические основы логичес
кого программирования (метод резолюций, теорема Робинсона
и др.).
Для студентов учреждений высшего профессионального обра
зования.
С. В. СИНИЦЫН, А. В. БАТАЕВ,
Н. Ю. НАЛЮТИН
Достарыңызбен бөлісу: 
