简单约束逻辑编程示例 CLP(Q) 在 Prolog 中给出错误

Question

我已经开始学习 Prolog 并遵循 RIPTutorial PDF。 在约束逻辑编程 CLP(Q)部分，它说：

约束逻辑编程 CLP(Q) 实现对有理数的推理

例子：

?- { 5/6 = X/2 + 1/3 }.
X = 1.

当我在 Windows 上的 SWI-Prolog 上尝试这一行时，它给出了：

ERROR: Unknown procedure: {}/1 (DWIM could not correct goal)

macOS 上命令行 SWI-Prolog-7.2.0 上的同一行给出：

ERROR: toplevel: Undefined procedure: {}/1 (DWIM could not correct goal)

如何获得X = 1.的预期输出X = 1. ？

Answer 1

使用SWI-Prolog 。

如注释中所述，您需要先加载CLP(Q)的代码。

?- use_module(library(clpq)).
true

然后按照示例输入查询。

?- {5/6 = X/2 + 1/3}.
X = 1.