Как установить библиотеку clpq в swi-prolog

Question

Я использую SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3) в стабильной Linux Debian.Я хочу установить 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