/computer/programming/prolog/

<<<

• Open Directory — Computers: Programming: Languages: Prolog

• Prolog — Энциклопедия языков программирования

Реализации Prolog

• GNU Prolog
• SWI-Prolog

• Strawberry Prolog

• SICStus Prolog
  Коммерческая и весьма дорогая версия Пролога.
• Quintus Prolog
  Коммерческая версия Пролога для встраиваемых систем. SICStus Prolog уже включает Quintus Prolog и расширяет его.

• Amzi! Prolog+Logic Server

• B-Prolog

• Visual Prolog
  Объектно-ориентированный Пролог. Ранее известен как PDC Prolog и Turbo Prolog. Доступны некоммерческая и коммерческая (за € 299) версии и только под Windows.

Стандарты

• ISO/IEC 13211-1:1995. Information technology — Programming languages — Prolog — Part 1: General core
  Всего за 252 швейцарских франка.
• ISO/IEC 13211-2:2000. Information technology — Programming languages — Prolog — Part 2: Modules
  Всего за 106 швейцарских франков.

Документация

• Prolog — Wikipedia
• Comparison of Prolog implementations — Wikipedia

• Prolog — Wikibooks

• Frequently Asked Questions — comp.lang.prolog

• Adventure in Prolog
• Building Expert Systems in Prolog

• J. R. Fisher. Prolog Tutorial

• Спецкурс «Логическое программирование»

• http://www.mari-el.ru/mmlab/home/prolog/study_l.html
  Курс лекций М. Н. Морозова.

Книги

• И. Братко. Программирование на языке ПРОЛОГ для искусственного интеллекта

Статьи

• Prolog, введение / Языки программирования / Хабрахабр
• Немного о Prolog'е / Языки программирования / Хабрахабр

• В. Юхтенко. Как я полюбил Prolog

• Пролог — часть 1
• Пролог — часть 2
• Пролог — часть 3

• А. В. Суслов, Р. В. Наумов. Введение в язык Prolog: основы синтаксиса и примеры использования

Программное обеспечение, написанное на Прологе

• Datalog Educational System (DES)

• http://shedar.info/2007/06/17/programmy-na-prologe/

Места для общения

• comp.lang.prolog

Архивы

• http://dir.gmane.org/search.php?match=prolog
• https://mailbox.iai.uni-bonn.de/mailman/public/swi-prolog/