I was looking for Planner (which never got past a subset implementation called Micro-Planner, used by Terry Winograd to implement his natural language understan

I was looking for Planner (which never got past a subset implementation called Micro-Planner, used by Terry Winograd to implement his natural language understanding program SHRDLU), and Conniver.