Evaluation order and nontermination in query languages · HackerLangs