4
ответа
Что более интересно или мощно: Карри, Меркурий или Пролог Лямбды?
Я хотел бы спросить Вас о том, от чего формальная система могла быть более интересна реализовать, царапают/перепроектируют. Я просмотрел некоторые существующие и проекты с открытым исходным кодом логического/...
вопрос задан: 7 September 2017 01:32
0
ответов
Функция возвращает «Нет решения» вместо «Ничего»
У меня есть стандартный тип данных, представляющий формулы логики предикатов. Функция, представляющая правило исключения естественного вывода для дизъюнкции, может выглядеть так: d_el p q = if p =: (Dis r s) && ...
вопрос задан: 3 December 2011 05:20
0
ответов
Какие системы типов могут предотвратить приостановку цели в логических языках?
Из раздела 3.13.3 учебного пособия по карри: Операции с остатком называются жесткими, а операции с ограничением - вызываются гибкий. Все определенные операции являются гибкими, тогда как большинство примитивных ...
вопрос задан: 7 September 2011 18:22
0
ответов
Почему недетерминированная функция выбора в стандартной библиотеке Curry определена не напрямую, а с помощью вспомогательной функции с двумя аргументами?
Рассмотрим функцию choose на языке программирования Curry со спецификацией, которая «(select xs) недетерминированно выбирает один элемент из списка xs». Я бы реализовал это прямо ...
вопрос задан: 3 April 2011 23:35