标签： prolog clpr
我无法使用SWI-Prolog中库CLPQR的谓词。该库本身可以工作。诸如“ clpq：{X = 5 ^ 2}”之类的表达式可以正确求解。但是我不知道如何使用“最小化”，“最大化”，“ inf”，“ sup”等。 链接到Prolog手册http://www.swi-prolog.org/pldoc/man?section=clpqr。如果有人可以提供一些代码示例，我将不胜感激！