15.3 library(prolog_pack): A package manager for Prolog
All Application Manual Name SummaryHelp

  • 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)).
Source[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.