Prolog has well-defined execution order with side-effects. It's an imperative language masquerading as a declarative one.