ADDED: Allow SELECT queries to return solutions iteratively (nondet).