我在 SWI-Prolog 中使用库 CLPQR 中的谓词失败了。图书馆本身可以工作。像“clpq: {X = 5^2}”这样的表达式得到了正确解决。但我不知道如何使用“最小化”、“最大化”、“inf”、“sup”等。链接到 Prolog 手册http://www.swi-prolog.org/pldoc/man?section =clpqr。如果有人可以提供一些代码示例，我将不胜感激！
我在 SWI-Prolog 中使用库 CLPQR 中的谓词失败了。图书馆本身可以工作。像“clpq: {X = 5^2}”这样的表达式得到了正确解决。但我不知道如何使用“最小化”、“最大化”、“inf”、“sup”等。链接到 Prolog 手册http://www.swi-prolog.org/pldoc/man?section =clpqr。如果有人可以提供一些代码示例，我将不胜感激！