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

Вики

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

/

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

Вики

ЭКЛиПСе

/

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

Вики

Двенадцать

/

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

Вики

Пролог

/

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

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