如何在 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.

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

Answer 1

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

?- use_module(library(clpq)).

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

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