Языки логического программирования

Вики

Язык описания игры

/

Язык описания игры Описание игры Language (GDL) GDL – специализированный язык логического программирования для разработки ИИ-агентов.  Цель GDL – создание […]

Вики

ЭКЛиПСе

/

затмение Обзор ECLiPSe ECLiPSe – система для разработки приложений с ограничениями, включая оптимизацию и планирование.  Подходит для обучения комбинаторным задачам

Вики

Двенадцать

/

Twelf Основы Twelf Twelf – это логическая платформа, разработанная в Университете Карнеги-Меллона.  Используется для логического программирования и формализации языков программирования. 

Вики

Пролог

/

Пролог Prolog – язык логического программирования, разработанный в 1970-х годах.  Он основан на логике предикатов и имеет декларативный синтаксис.  Prolog

Прокрутить вверх