Функциональное и логическое программирование
От производителя
Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языков Haskell - лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики. Представлена наиболее "продвинутая" практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Constraint Lodic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.). Для студентов учреждений высшего профессионального образования.
Что объединяет эти статьи? Прежде всего то, что они вместе с другими статьям составят «Справочник технического писателя». Справочник, в котором совместно анализируются стандарты разных систем – ГОСТ 2, ГОСТ 34, ГОСТ 19 и др.,
используемые техническими писателями при разработке текстовых документов.
Результатами такого анализа станут предложения по корректировке действующих стандартов (см. статью ««Обозначение программных документов. Предложения по изменению стандартов») или же приглашение к обсуждению тех или иных вопросов, как это сделано в статье «Стадии разработки».
По мнению автора справочника, совместный анализ стандартов разных систем позволит не допускать расширенного толкования одних и тех же понятий, корректно использовать техническую терминологию, а также исключить противоречия в правилах выполнения текстовых документов в разных системах стандартов.
Задача словарных статей «Справочника технического писателя» не повторять тексты тех или иных стандартов, а рассмотреть стандарты разных систем, взглядом специалиста, применяющего их при подготовке технической документации.
Статьи этого справочника предназначены для технических писателей, нормоконтролеров, работников ОТК, а также всех, кто тем или иным образом связан с разработкой, оформлением согласованием и утверждением текстовой документации.