The library(prolog_pack)
provides the SWI-Prolog package
manager. This library lets you inspect installed packages, install
packages, remove packages, etc. It is complemented by the built-in attach_packs/0
that makes installed packages available as libraries.
Hint: ?- pack_list('').
lists all packages.
The predicates pack_list/1 and pack_search/1 are synonyms. Both contact the package server at http://www.swi-prolog.org to find available packages.
file://
URL or '.'
After resolving the type of package, pack_install/2 is used to do the actual installation.
true
(default false), suppress informational progress
messages.
true
(default false
), upgrade package if it
is already installed.
if_absent
(default, do nothing if the directory with
foreign resources exists), make
(run make
) or true
(run‘make distclean` followed by the default configure and build
steps).
true
(default false
unless URL
ends with =.git=), assume the URL is a GIT repository.
Non-interactive installation can be established using the option
interactive(false)
. It is adviced to install from a
particular
trusted URL instead of the plain pack name for unattented
operation.
README
file (if present)
TODO
file (if present)
@>
pack.pl
and a prolog
directory. Options processed:
last
, alternative is first
.