Hacker News Reader

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

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

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!)