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

Question

Я бегу SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3) на стабильной Linux Debian. Я хочу установить clpq пакет для программирования логики Constraint Logic.

Тем не менее, кажется, что нет там при запросе с 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-пролог. Инструкции о том, как сделать что-то более свежее в Ubuntu (и, возможно, в Debian?):

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