SWI-Prolog 7.4.2 Reference Manual: Section A.25

## A.25 library(prolog_pack): A package manager for Prolog

See also
  Installed packages can be inspected using `?- doc_browser.`
To be done
  - Version logic
  - Find and resolve conflicts
  - Upgrade git packages
  - Validate git packages
  - Test packages: run tests from directory `test'.

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 libaries.

[det]pack_list_installed
  List currently installed packages. Unlike pack_list/1, only locally installed packages are displayed and no connection is made to the internet.
  See also
    Use pack_list/1 to find packages.
pack_info(+Pack)
  Print more detailed information about Pack.
[det]pack_search(+Query)
[det]pack_list(+Query)
  Query package server and installed packages and display results. Query is matches case-insensitively against the name and title of known and installed packages. For each matching package, a single line is displayed that provides:

  - Installation status

    - p: package, not installed
    - i: installed package; up-to-date with public version
    - U: installed package; can be upgraded
    - A: installed package; newer than publically available
    - l: installed package; not on server

  - Name@Version
  - Name@Version(ServerVersion)
  - Title

  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.

  See also
    pack_list_installed/0 to list installed packages without contacting the server.
[det]pack_install(+Spec:atom)
  Install a package. Spec is one of

  - Archive file name
  - HTTP URL of an archive file name. This URL may contain a star (*) for the version. In this case pack_install asks for the deirectory content and selects the latest version.
  - GIT URL (not well supported yet)
  - A local directory name given as `file://` URL.
  - A package name. This queries the package repository at http://www.swi-prolog.org

  After resolving the type of package, pack_install/2 is used to do the actual installation.

[det]pack_install(+Name, +Options)
  Install package Name. Processes the options below. Default options as would be used by pack_install/1 are used to complete the provided Options.
  url(+URL)
    Source for downloading the package
  package_directory(+Dir)
    Directory into which to install the package
  interactive(+Boolean)
    Use default answer without asking the user if there is a default action.
  silent(+Boolean)
    If `true` (default false), suppress informational progress messages.
  upgrade(+Boolean)
    If `true` (default `false`), upgrade package if it is already installed.
  git(+Boolean)
    If `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.

[det]pack_url_file(+URL, -File)
  True if File is a unique id for the referenced pack and version. Normally, that is simply the base name, but GitHub archives destroy this picture. Needed by the pack manager.
[det]pack_rebuild(+Pack)
  Rebuilt possible foreign components of Pack.
[det]pack_rebuild
  Rebuild foreign components of all packages.
[nondet,multifile]environment(-Name, -Value)
  Hook to define the environment for building packs. This Multifile hook extends the process environment for building foreign extensions. A value provided by this hook overrules defaults provided by def_environment/2. In addition to changing the environment, this may be used to pass additional values to the environment, as in:

      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.

[semidet]pack_upgrade(+Pack)
  Try to upgrade the package Pack.
  To be done
    Update dependencies when updating a pack from git?
[det]pack_remove(+Name)
  Remove the indicated package.
[nondet]pack_property(?Pack, ?Property)
  True when Property is a property of Pack. This interface is intended for programs that wish to interact with the package manager. Defined properties are:
  directory(Directory)
    Directory into which the package is installed
  version(Version)
    Installed version
  title(Title)
    Full title of the package
  author(Author)
    Registered author
  download(URL)
    Official download URL
  readme(File)
    Package `README` file (if present)
  todo(File)
    Package `TODO` file (if present)