Availability:
:- 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. |