[nondet]archive_data_stream(+Archive,
-DataStream, +Options)- meta_data(-Data:list(dict))
- If provided, Data is unified with a list of filters applied
to the (nested) archive to open the current DataStream. The
first element describes the outermost archive. Each Data dict
contains the header properties (archive_header_property/2)
as well as the keys:
- filters(Filters:list(atom))
- Filter list as obtained from archive_property/2
- name(Atom)
- Name of the entry.
Note that this predicate can handle a non-archive files as a pseudo
archive holding a single stream by using archive_open/3
with the options [format(all), format(raw)].