- open_hook(+Spec, +Mode, -Stream, -Close, +Options0, -Options) is semidet[multifile, library(iostream)]
- Open Spec in Mode, producing Stream.
- Arguments:
-
Close | - is unified to a goal that must be called to undo the
side-effects of the action, e.g., typically the term close(Stream) |
Options0 | - are the options passed to open_any/5 |
Options | - are passed to the post processing filters that
may be installed by open_any/5. |
- iostream:open_hook(+Spec, +Mode, -Stream, -Close, +Options0, -Options) is semidet[multifile, library(http/http_open)]
- Hook implementation that makes open_any/5 support
http
and
https
URLs for Mode == read
.