Comparative semantics for flow of control in logic programming without logic