In theory. In practice writing a bunch of constraints without understanding how prolog search works will get you terrible performance. It's essential to give co

In theory. In practice writing a bunch of constraints without understanding how prolog search works will get you terrible performance. It's essential to give constraints so as to match the search algo. This is straightforwad and not a problem at all, but it's not a step you can omit when faced with a large (large = anything non-trivial) search space.