Цикл
Цикл Основы CycL CycL — язык онтологий в проекте Cyc, разработанный Дугласом Ленатом. Раманатан и Гуха внесли значительный вклад в […]
Logic programming languages
Вики
Оз (язык программирования)
Oz (язык программирования) Обзор языка программирования Oz Oz — мультипарадигмальный язык, разработанный для обучения программированию. Основан на работах Герта Смолки
Вики
Янус (язык программирования с параллельными ограничениями)
Janus (язык программирования с параллельными ограничениями) Основы языка программирования Janus Janus — это параллельный язык программирования, разработанный в 1990 году.
Вики
Алиса (язык программирования)
Alice (язык программирования) Обзор Alice ML Alice ML — это функциональный язык программирования с поддержкой параллелизма, отложенного вычисления и программирования
Вики
Ученый-компьютерщик
Журнал данных Основы Datalog Datalog — декларативный язык программирования для обработки данных. Используется для создания программ, которые выводят минимальные модели
Вики
Интеллектуальный советник Oracle
Интеллектуальный советник Oracle Обзор Oracle Intelligent Advisor Oracle Intelligent Advisor (ранее OPA) автоматизирует принятие решений, преобразуя законодательные и политические документы
Вики
Язык описания игры
Язык описания игры Описание игры Language (GDL) GDL — специализированный язык логического программирования для разработки ИИ-агентов. Цель GDL — создание
Вики
Двенадцать
Twelf Основы Twelf Twelf — это логическая платформа, разработанная в Университете Карнеги-Меллона. Используется для логического программирования и формализации языков программирования.