I think Prolog's main problem is that it presents the idea of "just declare the constraints and it will find the solution," but can't really live up to that. In reality it's an extremely leaky abstraction, and even with pure predicates you need to take its execution model into account to avoid getting stuck in an infinite loop.
I still love the language, but I think there's a point where every learner realizes it's not as beautiful and ideal as they once thought.
I still love the language, but I think there's a point where every learner realizes it's not as beautiful and ideal as they once thought.