How to install clpq library in swi-prolog

Question

I am running SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3) on Debian Stable Linux. I want to install clpq package for Constraint Logic Programming.

However, it does not seem to be there on querying with pack_list command:

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

Where is the problem and how can it be solved? Thanks for your help.

User9213 · Accepted Answer · 2019-04-26T15:28:36.610

2

I don't think you need to install anything. Just try:

?- use_module(library(clpq)).

You are using an ancient SWI-Prolog. Instructions on how to get something more up-to-date on Ubuntu (and probably Debian?):

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

edited Apr 26 '19 at 15:28

answered Apr 26 '19 at 11:27

User9213

1,272
3
12

Is it possible to use prolog code in python with other prolog interpreters e.g. `YAP` (available in Debian Linux repository)? – rnso Apr 27 '19 at 14:55
@rnso I don't know. – User9213 Apr 27 '19 at 16:53

How to install clpq library in swi-prolog

1 Answers1