如何在swi-prolog中安装clpq库

Question

我正在Debian Stable Linux上运行SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)。 我想为约束逻辑编程安装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.

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

Answer 1

我认为您不需要安装任何东西。只需尝试：

?- use_module(library(clpq)).

您正在使用古代 SWI-Prolog。有关如何在Ubuntu（甚至可能是Debian）上获取最新信息的说明：

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