15.3 library(prolog_pack): A package manager for Prolog
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Packs: community add-ons
library(prolog_pack): A package manager for Prolog
pack_list_installed/0
pack_info/1
pack_list/1
pack_list/2
pack_search/1
pack_install/1
pack_install/2
pack_install_local/3
pack_url_file/2
pack_rebuild/0
pack_rebuild/1
pack_upgrade/1
pack_remove/1
pack_remove/2
pack_publish/2
pack_property/2
Packages
Availability:
:- use_module(
library(prolog_pack)
).
[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 in the web server.