SWI-PROLOG Как использовать предикаты решателя библиотеки (clpqr)

У меня не получается использовать предикаты из библиотеки CLPQR в SWI-Prolog. Сама библиотека работает. Выражения типа "clpq: {X = 5^2}" решаются правильно. Но я не могу понять, как использовать "свернуть", "максимизировать", "inf", "sup" и т. Д. Ссылка на руководство по Прологу http://www.swi-prolog.org/pldoc/man?section=clpqr. Буду очень признателен, если кто-нибудь сможет привести несколько примеров кода!

0 ответов

Другие вопросы по тегам