[ 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.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).