Not sure Prolog is a good example here; my experience with it involved having to spend essentially as much time reasoning about how the unification/backtracking

Not sure Prolog is a good example here; my experience with it involved having to spend essentially as much time reasoning about how the unification/backtracking algorithm was going to visit different clauses and facts (and how I might want to cut/control that) as an imperative programmer might think about the order in which statements are executed. Maybe more, considering the process was less linear and obvious. (Not that I didn't like Prolog -- I did -- I just felt far from freed of mundane concerns of execution order.)