Раздел посвящён теоретическим основам и конкретным реализациям языков логической парадигмы программирования.
Sites 11
- Акторный Пролог Исследовательский проект, посвящённый разработке одноимённого объектно-ориентированного логического языка, обладающего теоретико-модельной семантикой, а также логическому программированию систем, функционирующих в динамическом внешнем окружении.
- Форум Prolog-программистов Обсуждение вопросов, связанных с программированием на языке Prolog.
- Wiki по системе программирования Visual Prolog Документация и примеры программ в русскоязычной части официального сайта Visual Prolog.
- Prolog - Энциклопедия языков программирования Описание языка, истории развития, тенденций. Приведены примеры программ для различных диалектов Prolog.
- Хабрахабр: Prolog Коллективный тематический блог. Примеры использования языка и обучающие статьи.
- Основы программирования на языке Visual Prolog Курс НОУ ИНТУИТ, посвященный логическому программированию на Visual Prolog 7.x.
- Основы программирования на языке Пролог Курс НОУ ИНТУИТ, посвященный основам языка Prolog и общим принципам логического программирования. В примерах программ курса используется Turbo Prolog.
- Логическое программирование в Mozart Описание и примеры использования языка логического программирования Mozart. Автор: А. И. Орехов.
- Искусственный интеллект: Учебное пособие Описаны основы программирования на языке Prolog (SWI Prolog), решение задач методом поиска, вероятностные методы, основы нейронных сетей, а также принципы представления знаний с помощью семантических сетей. Автор: И.А. Бессмертный.
- Prolog - язык разработки интеллектуальных и экспертных систем В учебном пособии рассматривается использование Turbo Prolog, SWI Prolog и Visual Prolog в контексте разработки экспертных систем. Автор: С. П. Хабаров.
- Prolog на блоге программиста Статьи по программированию на Prolog. Форум помощи студентам.