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