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.
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.
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.
prolog_pack:environment('USER', User) :- getenv('USER', User).
Name | is an atom denoting a valid variable name |
Value | is either an atom or number representing the value of the variable. |
README
file (if present)
TODO
file (if present)
@>
pack.pl
and a prolog
directory. Options processed:
last
, alternative is first
.