:- use_module(library(zlib)).(can be autoloaded)
Defined options on output streams are:
deflateenvelope is simple and short and is typically used for compressed (network) communication. The
raw_deflatedoes not include an envelope and is often used as a step in crypographic encodings. The
gzipenvelope is compatible to the gzip program and intended to read/write compressed files.
- Number between 0 and 9, specifying the compression level, Higher levels use more resources. Default is 6, generally believed to be a good compromise between speed, memory requirement and compression.
true, restart reading if the input is not at end-of-file. The default is
truefor gzip streams.
Generic options are:
true(default), closing the compressed stream also closes (and thus invalidates) the wrapped stream. If
false, the wrapped stream is not closed. This can be used to read/write a compressed data block as partial input/output on a stream.