I love these kinds of problems!

Question: is there a reason we would choose a solver like this instead of encoding the effects in prolog and let it generate plans for us? Why would one approach be better than the other?