Логическое программирование. Что почитать?

30 Aug 2013 | Bibliotheca | Prolog Logic Programming Computer Science Learning

По Prolog книжек достаточно много, есть онлайн-курсы. Автор впервые познакомился с Prolog ещё в девяностые, прочитав советский перевод [Братко]. Эта хорошая книга была переиздана в 2004 году в лучшем виде, чем в первый раз. В советском издании зачем-то перевели на русский идентификаторы в коде на Prolog, да и сам язык там носит название Пролог. [Братко] не единственная переведённая ещё в советское время книга по Prolog, автору известно ещё пять. Из современных книг хотелось бы выделить учебник коллеги по кафедре информационных систем и программирования ИКСИБ КубГТУ [Марков]. В книге рассматривается коммерческий диалект Visual Prolog.

Знакомство с Prolog можно начать с любой из основных книг, только нужно учитывать различия между диалектами.

Книги

Основные

[Братко] Братко И. Программирование на языке Пролог для искусственного интеллекта: пер. с англ. – М.: Мир, 1990. – 560 с.: ил.
[Братко] Братко И. Алгоритмы искусственного интеллекта на языке PROLOG, 3-е издание.: пер. с англ. – М.: ИД «Вильямс», 2004. – 640 с.: ил.
[Клоксин, Меллиш] Клоксин У., Меллиш К. Программирование на языке Пролог: пер. с англ. – М.: Мир, 1987. – 336 с.: ил.
[Малпас] Малпас Дж. Реляционный язык Пролог и его применение: пер. с англ. – М.: Наука, 1990. – 464 с.
[Марков] Марков В.Н. Современное логическое программирование на языке Visual Prolog 7.5: учебник. – СПб.: БХВ-Петербург, 2015. – 544 с.
[Стерлинг, Шапиро] Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: пер. с англ. – М.: Мир, 1990. – 333 с.: ил.
[Стобо] Стобо Дж. Язык программирования Пролог: пер. с англ. – М.: Радио и связь, 1993. – 368 с.: ил.
[Хоггер] Хоггер К. Введение в логическое программирование: пер. с англ. – М.: Мир, 1988. – 348 с.

Дополнительные

Бен-Ари М. Языки программирования. Практический сравнительный анализ. – М.: Мир, 2000. – 366 с.: ил.
Грэй П. Логика, алгебра и базы данных. - Пер. с англ. - М.: Машиностроение, 1989. - 368 с.
Ковальски Р. Логика в решении проблем. - М.: Наука, 1990. - 280 с.
Логическое программирование. - Пер. с англ. и фр. - М.: Мир, 1988. - 368 с.

Интернет-ресурсы

История обновлений

2017-06-10: добавлен вводный абзац, добавлена ссылка на [Марков], переформатированы списки.
2014-02-26: первое обновление.

Буквальное копирование и распространение этого произведения разрешается на любом носителе при условии сохранения вышеуказанного уведомления об авторских правах, этого лицензионного уведомления и нижеуказанного уведомления об отказе от ответственности. Авторские права на все изображения в этом произведении принадлежат автору этого произведения и являются его неотъемлемой частью. Фрагменты программного кода из этого произведения, если не оговорено иное, разрешается распространять и использовать без ограничений с или без изменений и без указания авторских прав.

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

Разрешается использование текста данной лицензии иными авторами в своих произведениях как в буквальном виде, так и в изменённом или адаптированном под нужды автора виде без указания оригинального авторства текста данной лицензии.