Comment by 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.