Я недавно начал sicstus prolog и мне нужно решить эту домашнюю работу с помощью CLP (программирование логики ограничений), пожалуйста, помогите мне понять проблему, что я должен искать и что я делаю не так. Так, Строительная компания: Чтобы...

Предикат indomain/1 есть в руководстве. , который присваивает значения переменной (назовем ее X) в возрастающем порядке с помощью поиска с возвратом. Я хотел бы изменить порядок значений, присваиваемых переменной X, когда я пытаюсь написать...

Я сделал следующую небольшую программу, чтобы определить, используется ли память для таких целей, как freeze(X,Goal) восстанавливается, когда X становится недоступным: %:- use_module(library(freeze)). % Ciao Prolog needs this...

Переменные атрибутов позволяют расширить унификацию. Далее мы поговорим о загадочных деталях интерфейса. Давайте перейдем к делу! В библиотеке sicstus-prolog (atts ) предоставляет предикаты для использования переменных с атрибутами. Думаю, я...