prolog - 如何在 swi-prolog 中安装 clpq 库

Question

我SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)在 Debian 稳定版 Linux 上运行。我想clpq为约束逻辑编程安装包。

pack_list但是，使用命令查询时似乎不存在：

?- pack_list(clpq).
% Contacting server at http://www.swi-prolog.org/pack/query ... done
Warning: Unknown message: pack(search_no_matches(clpq))
true.

问题出在哪里，如何解决？谢谢你的帮助。

标签： prologclpq

Answer 1

我认为你不需要安装任何东西。你试一试：

?- use_module(library(clpq)).

您正在使用古老的SWI-Prolog。有关如何在 Ubuntu（可能还有 Debian？）上获得更新的说明：

http://www.swi-prolog.org/build/PPA.txt