solve

The arguments for statement, as Prolog text, by label