Перевод. — М. : Мир, 1990. — 333 с. ил.; 24. — ISBN 5-03-000406-8. Перевод с англ. С.Ф. Сопрунова, Л.В. Шабанова; Под ред. Ю.Г. Дадаева. В книге излагаются основы логического программирования. Дается описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования, применения структур данных,...
The Pragmatic Programmers, 2022. — 74 p. Constraint-based logic programming is the engine powering some of the most powerful algorithms in the world. Whether you're building an airline schedule or planning routes for a trucking company, Prolog has the tools you need. You don't have to struggle through thousands of pages of sample programs. This guide to Prolog will quickly ramp...
New York: Prentice Hall, 1997. — 529 p. This book covers the Prolog programming language thoroughly with an emphasis on building practical application software, not just theory. Working through this book, readers build several types of expert systems, as well as natural language processing software and utilities to read foreign file formats. This is the first book to cover ISO...
New York: Springer, 1989. — 299 p. Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate....
Пер. с англ. — М.: Мир, 1990. — 560 с.: ил. — ISBN: 5-03-001425-Х. Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по...
СПб.: БХВ-Петербург, 2016. — 544 с.: ил. — (Учебная литература для вузов). — ISBN: 978-5-9775-3487-1. В учебнике излагается полный набор классических и новейших инструментов логического программирования, а также парадигмы функционального, обобщен ного, императивного и объектно-ориентированного программирования, органически вошедшие в Visual Prolog 7.5. Рассматриваются...
М.: Финансы и статистика, 1994. — 256 с.: ил. — ISBN: 5-279-00613-0. Книга продолжает ряд публикаций издательства, рассчитанных на практическое освоение программистами и пользователями технологии экспертных систем (ЭС). На конкретных примерах объяснены идеи проектирования и архитектура всех основных блоков ЭС, а также способы их реализации на Турбо Прологе. Для программистов,...
Перевод с англ. Н.Г. Волченкова, С.Г. Григорьева. Под редакцией Н.Г. Волченкова. — М.: Радио и Связь, 1993. — 368 с.: ил. — ISBN: 5-256-00921-4. В книге автора из США содержится большой набор методов программирования, которые можно рассматривать как инструментарий для решения самых различных задач программирования. Детально представлен процесс разработки программных систем,...
М.: Изд-во МЭИ, 1996. — 452 с. — ISBN: 5-7046-0162-6. Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в ее связи с монадической логикой. Рассматривается резолютивный вывод и на его основе вводится универсальный язык программирования Пролог. Программируются некоторые алгоритмы на графах, в...
Pearson, 2012. — 696 p. — 4th ed. — ISBN: 0321417461, 9780321417466
Скан, текстовый слой.
The fourth edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. New and extended topics include Constraint Logic Programming, abductive reasoning and partial...
Учебное пособие –Самара: СНЦ РАН, 2010 –81 с., ил. ISBN: – 978-593424-486-7 Данное пособие предназначено для студентов направления 010400 «Информационные технологии» и специальности 230102 «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы...
Учебное пособие, 992стр, илюстрированная, издательство "БХВ-Петербург", 2003г.
Математические основы логического программирования
Логическое программирование и искусственный интелект
Основы пролога
Программирование на Visual Prolog
Разработка графического интерфейса пользователя
Возможности визуальной среды разработки
Пер с англ. А. В. Чукашова, М. В. Сергиевского; Под ред. М. В. Сергиевского, —М.: Машиностроение, 1990. —240 с.: ил.
В книге английского автора рассматривается использование наиболее популярного языка логического программирования для построения баз данных, баз знаний и экспертных систем. Книга содержит сравнительно мало теоретического материала и ориентирована в основном на...
1991 г.
В книге специалиста из ФРГ методически удачно в компактной форме дается информация, необходимая для практической работы в системе Турбо-Пролог на персональных ЭВМ типа IBM PC.
В книге содержатся описания команд основного меню, команд компилятора и редактора. Кроме того, рассмотрены стандартные предикаты и приведены примеры их использования.
1990 г.
Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД. Книга может быть рекомендована как учебник и как компактное справочное...
СПб.: БХВ-Петербург,
2003. 990 с.: ил. ISBN 5-94157-156-9.
Книга посвящена наиболее распространенному в мире языку логического про-граммирования Visual Prolog, предшественником и ближайшим «родственником» которого является широко известный Turbo Prolog. Рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его...
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог - базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Для...
Описывается реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения. Содержит большое число удачно подобранных примеров, иллюстрирующих суть обсуждаемых явлений, подробный предметный указатель, глоссарий. Для специалистов в области вычислительной техники и информатики. 465 страниц.
Комментарии