The frustrating thing about prolog is that at first it seems you get to ignore the execution model, but very very quickly you have to learn to think of it in imperative terms anyhow, so you can ensure termination and stuff. Or at least, I never got far enough past that to wrap back around to not coding in it with a background imperative model running in my head.