• 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

/usr/lib/swipl/library/ext/archive/archive.pl
All Application Manual Name SummaryHelp

  • archive
    • archive.pl -- Access several archive formats
      • archive_open/3
      • archive_open/4
      • archive_close/1
      • archive_property/2
      • archive_next_header/2
      • archive_open_entry/2
      • archive_set_header_property/2
      • archive_header_property/2
      • archive_extract/3
      • archive_entries/2
      • archive_data_stream/3
      • archive_create/3
      • archive_foldl/4
 archive_property(+Handle, ?Property) is nondet
True when Property is a property of the archive Handle. Defined properties are:
filters(List)
True when the indicated filters are applied before reaching the archive format.
ClioPatria (version V3.1.1-51-ga0b30a5)