[ library(fromonto) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

+Goal from_string ++String

Redirect Goal's standard input stream to String

Description

Equivalent to once(Goal), with input redirected to String.