There is no such thing as non-deterministic multiple clauses because if a clause returns output, then it will be the only solution.  Only if a clause fails will another clause be tried.  This is not non-determinism.