[ library(fromonto) | 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.
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).