My Account
Раздел посвящён теоретическим основам и конкретным реализациям языков логической парадигмы программирования.
Дополнительная информация
В учебном пособии рассматривается использование 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.
Исследовательский проект, посвящённый разработке одноимённого объектно-ориентированного логического языка, обладающего теоретико-модельной семантикой, а также логическому программированию систем, функционирующих в динамическом внешнем окружении.

Этот раздел на других языках 5

Последнее обновление:
26 июля 2023 в 5:55:08 UTC
Компьютеры
Игры
Здоровье
Дом
Новости и СМИ
Досуг
Источники информации
Страны и регионы
Наука
Покупки
Общество
Спорт
Все языки
Искусство
Бизнес