Yeah I think so, especially 2nd time around. You kind of have to refuse to think about your problem computationally; that’s really important when doing prolog I think, else you’ll end up with functional programming.

I try to think about what the solution of the problem implies , and then test each such interpretation against a prolog program to express it.