• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

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.
ClioPatria (version V3.1.1-51-ga0b30a5)