From my limited experience, prolog is perfect for describing the shape of the valid state space for almost any domain. But its default execution strategy -- ju

From my limited experience, prolog is perfect for describing the shape of the valid state space for almost any domain. But its default execution strategy -- just depth-first search -- doesn't enable you to efficiently navigate that state space from diverse perspectives.