The PLANNER system is a similar system that is heavily referenced in the AI literature of the 70s/80s. PLANNER was a tool that let you (handwaving starting) specify a world, transitions for the world state, and then spcify an end goal. PLANNER would find the way to go from start to goal. Prolog is a weakened form of PLANNER, if I understand my AI history correctly. If you rummage around the "Good Old Fashioned AI" history, you'll get a good feel for what it can do.

A technical write-up is available here: http://dspace.mit.edu/handle/1721.1/6916