Когда я компилирую приведенный ниже код Mercury, я получаю эту ошибку от компилятора: In clause for `main(di, uo)': in argument 1 of call to predicate `test_with_anonymous_functions.assert_equals'/5: mode error: variable `V_15' has...

У меня возникла проблема при компиляции Mercury на моем Mac. Я использую Mac OS X 10.8, установил Xcode 4.5, а также инструменты командной строки. Что я сделал до сих пор: Я скачал файл tar.gz, распаковал его, запустил ./configure в этой...

В. Каков простой шаблон для создания двухмодульной программы Mercury? Module_1 определяет и экспортирует простую функцию или предикат. Module_2 импортирует функцию/предикат для вычисления полезного результата и выводит результат.

В io.write_list(List(integer), ",", OutputPred, !IO), что такое OutputPred? Я пытаюсь отобразить список целочисленного типа. Список изначально никогда не бывает пустым.

Как указать определения времени компиляции в Mercury? Я хотел бы, чтобы система сборки считывала номер версии из файла конфигурации и передала его в модуль для доступа с помощью предикатов и функций. Например, в C я бы сделал что-то вроде: gcc...