solve

The arguments for statement, as Prolog text, by label: the evaluations of several callers run in parallel