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