prolog - SWI-PROLOG 如何使用库(clpqr)求解器谓词
问题描述
我在 SWI-Prolog 中使用库 CLPQR 中的谓词失败了。图书馆本身可以工作。像“clpq: {X = 5^2}”这样的表达式得到了正确解决。但我不知道如何使用“最小化”、“最大化”、“inf”、“sup”等。链接到 Prolog 手册http://www.swi-prolog.org/pldoc/man?section =clpqr。如果有人可以提供一些代码示例,我将不胜感激!
解决方案
推荐阅读
- python - 理解 Python 函数文档的指南
- game-development - Godot如何以编程方式获取碰撞对象的碰撞层?
- javascript - 打字稿对变量的赞美
- python - Tkinter 按钮不执行命令
- javascript - 在 JavaScript 中重新组织字典中的数据
- python - 带有 if else 语句的 lambda 行函数
- css - 如何在 Blazor WebAssembly 中设置 Bootstrap `$enable-rounded: false;`?
- wordpress - WP 帖子编辑器是空白的
- python - Flask-Kerberos 远程用户服务器变量未通过
- python - 我的 python 程序不断收到此错误消息: ValueError: max() arg is an empty sequence