A.23 library(iostream): Utilities to deal with streams
All Application Manual Name SummaryHelp

Availability::- use_module(library(iostream)).(can be autoloaded)
Sourceclose_any(+Goal)
Execute the Close closure returned by open_any/5. The closure can also be called directly. Using close_any/1 can be considered better style and enhances tractability of the source code.
ClioPatria (version V3.1.1-51-ga0b30a5)