A.39 library(prolog_pack): A package manager for Prolog
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(prolog_pack): A package manager for Prolog
          • pack_list_installed/0
          • pack_info/1
          • pack_search/1
          • pack_list/1
          • pack_install/1
          • pack_install/2
          • pack_url_file/2
          • ssl_verify/5
          • pack_rebuild/1
          • pack_rebuild/0
          • pack_upgrade/1
          • pack_remove/1
          • pack_property/2
          • atom_version/2
          • pack_attach/2
    • Packages
Availability::- use_module(library(prolog_pack)).(can be autoloaded)
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.