F.2 Library predicates
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Summary
        • Library predicates
          • library(aggregate)
          • library(ansi_term)
          • library(apply)
          • library(assoc)
          • library(broadcast)
          • library(charsio)
          • library(check)
          • library(clpb)
          • library(clpfd)
          • library(clpqr)
          • library(csv)
          • library(dcgbasics)
          • library(dcghighorder)
          • library(debug)
          • library(dicts)
          • library(error)
          • library(fastrw)
          • library(explain)
          • library(help)
          • library(gensym)
          • library(heaps)
          • library(increval)
          • library(intercept)
          • library(iostream)
          • library(listing)
          • library(lists)
          • library(main)
          • library(occurs)
          • library(option)
          • library(optparse)
          • library(ordsets)
          • library(persistency)
          • library(portraytext)
          • library(predicate_options)
          • library(prologdebug)
          • library(prologjiti)
          • library(prologpack)
          • library(prologxref)
          • library(pairs)
          • library(pio)
          • library(random)
          • library(rbtrees)
          • library(readutil)
          • library(record)
          • library(registry)
          • library(settings)
          • library(simplex)
          • library(statistics)
          • library(terms)
          • library(ugraphs)
          • library(url)
          • library(www_browser)
          • library(solution_sequences)
          • library(thread)
          • library(thread_pool)
          • library(varnumbers)
          • library(yall)
    • Packages

F.2.37 library(prologpack)

atom_version/2Translate between atomic version representation and term representation.
pack_attach/2Attach a single package in Dir.
pack_info/1Print more detailed information about Pack.
pack_install/1Install a package.
pack_install/2Install package Name.
pack_list/1Query package server and installed packages and display results.
pack_list_installed/0List currently installed packages.
pack_property/2True when Property is a property of an installed Pack.
pack_rebuild/0Rebuild foreign components of all packages.
pack_rebuild/1Rebuilt possible foreign components of Pack.
pack_remove/1Remove the indicated package.
pack_search/1Query package server and installed packages and display results.
pack_upgrade/1Try to upgrade the package Pack.
pack_url_file/2True if File is a unique id for the referenced pack and version.
ssl_verify/5Currently we accept all certificates.