/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.