Я очень новичок в Mercury и логическом программировании в целом. Я не нашел такого числового примера в документах или примерах... Возьмем пример предиката: :- pred diffThirtyFour(float, float). :- mode diffThirtyFour(in, out) is det....

Я немного знаю Пролог и часто использую CLP(FD) и т. д. Эта статья ( написанный в 2006 году, по-видимому) указывает на то, что у Меркьюри теперь тоже есть решение ограничений. Я нашел несколько упоминаний об этом в Справочном руководстве по...

Есть ли актуальные тесты реализации Prolog (с результатами)? Я нашел это на mercury веб-сайта. Удивительно, но здесь показан 20-кратный разрыв между swi -пролог и Водолей. Я подозреваю, что эти результаты довольно старые. Сохраняется ли...