Did you know ... | Search Documentation: |
Predicate open_hook/6 |
:- use_module(library(iostream)).
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. |