0
ответов
Расширение цели тестирования мета-предиката maplist
Вопрос: Как мы можем избавиться от накладных расходов на maplist - например, SWI apply_macros - в SICStus Prolog? A: Расширение цели. Сначала мы определим вспомогательные предикаты, которые нам понадобятся. В следующем мы используем ...
вопрос задан: 27 February 2019 22:32
0
ответов
Пролог: случайная маркировка
У меня есть программа, написанная на Sicstus Prolog с использованием ограничений.
Моя цель - использовать маркировку / 2 и какой-то другой метод для получения случайного экземпляра моих переменных. Пример: X #> 2, Y # = 2 * X, Z # & ...
вопрос задан: 6 May 2015 15:52
0
ответов
Prolog- Загрузка библиотеки из файла
В руководстве Sicstus сказано, что для загрузки библиотеки используется:
use_module (библиотека (пакет)).
Это работает в Prolog в командной строке, но я не могу понять, как загрузить библиотеку из исходного файла Prolog. ...
вопрос задан: 7 June 2013 11:43
0
ответов
Оптимизация поиска пути в логическом программировании с ограничениями с помощью Prolog
Я работаю над небольшим пролог-приложением для решения головоломки "Небоскребы и заборы". Неразрешенная загадка: Решенная головоломка: Когда я передаю программе уже решенные головоломки, она быстро, почти ...
вопрос задан: 9 November 2012 20:54