Worth noting though that Prolog will do similar things only with finite domain solvers, which are all extensions to the language. Otherwise it's just a search w

Worth noting though that Prolog will do similar things only with finite domain solvers, which are all extensions to the language. Otherwise it's just a search with backtracking (read: brute-force) with well-defined semantics.