Did you know ... Search Documentation:
Pack prolog_library_collection -- prolog/archive_ext.pl
PublicShow source

This module extends the support for archives in the SWI-Prolog standard library.

 archive_call(+In:istream, :Goal_2) is multi
Calls `Goal_2' on a decompressed input stream that is present in the encoded input stream `In' and the metadata object `Metas'.

Supports non-deterministically iterating over all archive members.

Uses archive_open/2 to automatically process all supporter archive filters and formats.

 archive_extension(+Extension:atom) is semidet
archive_extension(-Extension:atom) is multi
Uses the Media Type library in order to determine whether a given `Extension' is commonly used to denote an archive file.

Can also be used to enumerate such known file name extensions.

 archive_media_type(+MediaType:media_type) is semidet
archive_media_type(-MediaType:media_type) is multi
Succeeds for all and only those Media Types that denote an archive format. These are recorded in the Media Type library.
 archive_open(+In:istream, -Archive:blob) is det
Tries to open an archive of any of the supported formats, using any of the supported filters, from the input stream In.
 archive_stream(+In1:istream, -In2:istream) is det

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 archive_open(Arg1, Arg2, Arg3)
 archive_open(Arg1, Arg2, Arg3, Arg4)
 archive_create(Arg1, Arg2, Arg3)
 archive_close(Arg1)
 archive_property(Arg1, Arg2)
 archive_next_header(Arg1, Arg2)
 archive_open_entry(Arg1, Arg2)
 archive_header_property(Arg1, Arg2)
 archive_set_header_property(Arg1, Arg2)
 archive_extract(Arg1, Arg2, Arg3)
 archive_entries(Arg1, Arg2)
 archive_data_stream(Arg1, Arg2, Arg3)
 archive_foldl(Arg1, Arg2, Arg3, Arg4)