[jasonhemann]

Interesting fact, there's a neat connection between Micro-Planner and the genesis of Prolog. So I think you could be on to something.

[iFire]

Is there a specific definition of Micro-Planner? Curious.

[jasonhemann]

What I was thinking of was this one: https://en.wikipedia.org/wiki/Planner_(programming_language)... . I don't imagine there's any more formal a specification beyond what-they-implemented (but I haven't actually read the paper!)