Функциональный язык программирования алгебраической логики - Википедия - Algebraic Logic Functional programming language

Для помощника по доказательству см. ALF (средство доказательства теорем).
О языке действий для базового UML см. FUML.
ALF
Парадигмамультипарадигма: логика, функциональный
Интернет сайтПолучение и установка ALF

Алгебраическая логика Функциональный язык программирования, также известный как ALF, это язык программирования который сочетает в себе функциональный и логическое программирование техники. Его основа Оговорка о роге логика с равенством, которая состоит из предикатов и предложений Хорна для логического программирования, а также функций и уравнений для функционального программирования.

ALF был разработан для подлинной интеграции обеих парадигм программирования, поэтому любое функциональное выражение может использоваться в литерале цели, а произвольные предикаты могут встречаться в условиях уравнений. ALF операционная семантика основан на правиле разрешения для решения литералов и сужении для вычисления функциональных выражений. Чтобы уменьшить количество возможных шагов сужения, используется самая левая основная стратегия сужения, которая, как утверждается, может быть эффективно реализована.[нужна цитата ] Термины упрощаются путем переписывания перед применением шага сужения, и уравнения отклоняются, если две стороны имеют разные конструкторы наверху. Предполагается, что перезапись и отклонение приведут к значительному сокращению дерева поиска и произведут более эффективную операционную семантику, чем Пролог стратегия разрешения. Подобно Прологу, ALF использует стратегию обратного отслеживания, соответствующую поиску в глубину в дереве вывода.

Система ALF была разработана для эффективной реализации комбинации разрешения, сужения, перезаписи и отклонения. Программы ALF компилируются в инструкции абстрактной машины. Абстрактная машина основана на Абстрактная машина Уоррена (WAM) с несколькими расширениями для реализации сужения и перезаписи. В текущей реализации ALF программы этой абстрактной машины выполняются эмулятором, написанным на C.

в Университет Карнеги Меллон Искусственный интеллект Репозиторий,[1] ALF включен как язык программирования AI, в частности, как реализация языка функционального / логического программирования Prolog.[2] Руководство пользователя[3] описание языка и использования системы доступно. Система ALF[4] бежит под Unix и доступен под заказ лицензия на собственное программное обеспечение это дает право на использование для «оценки, исследования и обучения», но не для коммерческого или военного использования.[5]

Рекомендации

  1. ^ "Репозиторий искусственного интеллекта CMU". Репозиторий искусственного интеллекта CMU. Университет Карнеги Меллон. 1995-02-13. В архиве из оригинала 23 июня 2007 г.. Получено 2007-06-22.
  2. ^ "ALF: язык функционального программирования алгебраической логики". Репозиторий искусственного интеллекта CMU. Университет Карнеги Меллон. 1995-02-13. В архиве из оригинала 10 мая 2007 г.. Получено 2007-06-22.
  3. ^ Ханус, Михаил; Андреас Шваб (1995-02-13). «Руководство пользователя ALF» (PDF). Руководство пользователя ALF. Institut für Informatik, Christian-Albrechts-Universität zu Kiel. В архиве (PDF) из оригинала 11 июля 2007 г.. Получено 2007-06-22.
  4. ^ Ханус, Майкл. «Система ALF». Система ALF. Institut für Informatik, Christian-Albrechts-Universität zu Kiel. В архиве из оригинала 25 июня 2007 г.. Получено 2007-06-22.
  5. ^ Ханус, Майкл. «Лицензионное соглашение ALF». Система ALF. Institut für Informatik, Christian-Albrechts-Universität zu Kiel. В архиве из оригинала 2 декабря 2015 г.. Получено 2020-03-06.

внешняя ссылка