2 library(archive): Access several archive formats
All Application Manual Name SummaryHelp

Availability::- use_module(library(archive)).(can be autoloaded)
Sourcearchive_foldl(:Goal, +Archive, +State0, -State)
Operates like foldl/4 but for the entries in the archive. For each member of the archive, Goal called as‘call(:Goal, +Path, +Handle, +S0, -S1). Here, S0 is current state of the accumulator (starting with State0) and S1 is the next state of the accumulator, producing State after the last member of the archive.
Archive File name or stream to be given to archive_open/[3,4].
See also
archive_header_property/2, archive_open/4.
ClioPatria (version V3.1.1-51-ga0b30a5)