A.14 library(iostream): Utilities to deal with streams
AllApplicationManualNameSummaryHelp

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-21-gb8003bb)