[
library(fromonto)
|
The ECLiPSe Libraries
|
Reference Manual
|
Alphabetic Index
]
+Goal onto_stream ++Stream
Redirect Goal's standard output stream to Stream
Description
Equivalent to once(Goal), with output redirected to Stream.