Мне нужно установить компилятор Mercury, ссылка на сайте Mercury не найдена. Не могли бы вы поделиться ссылкой на скачивание компилятора mercury.

Контекст представляет собой систему предикатов: правил и фактов, которые вместе определяют сумму, подлежащую выплате клиенту, в зависимости от его ситуации. Большинство правил и фактов известны во время компиляции, но факты о конкретной ситуации...

Я написал функцию Mercury для вычисления длины скелета списка, но она не компилируется, и я не понимаю, почему. Я хотел бы знать, что здесь происходит. (В приведенном ниже коде операторы inst , func и mode взяты из Справочного руководства...

Я не понимаю, почему Mercury (10.04) не может вывести детерминизм следующего фрагмента: :- pred load_freqs(int::in, io.res(list(float))::out, io::di, io::uo) is det. load_freqs(CPU, ResFreqs, !IO):- open_input(cpu_fn(CPU,...

Использование Mercury 14.01.1 в Ubuntu 14.04. Установил четыре класса, включая классы отладки, из исходного кода. Безуспешно пробовал каждое из следующих действий (файлы/каталоги отсутствуют) $ mmc --имя файла отладки $ mmc --decl-debug имя...

У меня есть программа Mercury, которая импортирует модуль из другого файла. Я хотел бы иметь возможность поместить этот файл в подкаталог. Как я могу это сделать? Я использую mmc -E --make --trace deep filename для создания программы. Я...

Я хотел бы спросить вас о том, какую формальную систему было бы интереснее реализовать с нуля/реверс-инжиниринг. Я просмотрел некоторые существующие и открытые проекты систем логического/декларативного программирования. Решил на досуге придумать...