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

Stack Overflow用户

提问于 2019-04-26 11:06:58

回答 1查看 246关注 0票数 2

我正在Debian稳定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.

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

prolog

clpq

回答 1

Stack Overflow用户

回答已采纳

发布于 2019-04-26 11:27:53

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

?- use_module(library(clpq)).

你用的是一个古老的SWI-Prolog。关于如何在Ubuntu (可能还有Debian？)上获得最新信息的说明：

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

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/55866301

复制

相似问题

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

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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