查询语言中的评估顺序与非终止问题