Функциональные и логические языки

Сергиевский Г. М. Функциональное и логическое программирование Сергиевский Г. М. Функциональное и логическое программирование : [учеб. пособие] / Г. М. Сергиевский, Н. Г. Волченков. – М. : Академия, 2010. – 317с.

Книжка весьма интересная. Книг по функциональному программированию вообще не много, а по логическому и того меньше. Этот учебник не претендует на полноту, но описано все не плохо, особенно понравились разделы по оптимизации функциональных программ и их верификации. Сначала описываются элементы функциональной парадигмы в целом, а затем рассмотрены Lisp и Haskell. Все примеры к главе “логическое программирование” написаны на эдингбургском прологе (к ним относится SWI, GNU, …). Книжка не очень легко читается – много матана.

Томпсон С. Программирование в Erlang Томпсон С. Программирование в Erlang / C. Томпсон, Ф. Чезарини. – М.: ДМК Пресс, 2012. – 488с.

Литературы, посвященной языку Erlang мало, а на русском языке – еще меньше. Есть официальный сайт с качественной документацией (но это не учебник), есть несколько книг, из которых выделяются книги Армстронга, Чезарини и Геберта.
Книга Геберта размещена легально на странице learnyousomeerlang.com (онлайн учебник), иногда я ей пользуюсь, но она на английском (не всем удобно). Есть попытка любительского перевода книги Армстронга (можно найти на docs.google.com). Книгу Чезарини, в отличии от остальных вариантов, можно подержать в руках.

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

Хабаров С. П. Prolog - язык разработки интеллектуальных и экспертных систем Хабаров С.П. Интеллектуальные информационные системы. Prolog – язык разработки интеллектуальных и экспертных систем: учебное пособие / С.П.Хабаров.- СПб. СПбГЛТУ, 2013.- 138 с.

Мне понравился обзор популярных диалектов пролога. Мне не очень понравилось описание принципов логического программирования, я думаю что у Сергиевского этот раздел проработан значительно лучше. Более подробно в пособии разобраны SWI Prolog, Turbo Prolog, Visual Prolog и соответствующие среды разработки. Описана разработка программ с графическим интерфейсом в Visual Prolog и SWI Prolog (XPCE). Все выполнено лаконично, читается как детская книжка (картинка на каждой странице). Книжка неплохая.

Добавить комментарий