Having looked at the source for SHRDLU (which I found very hard to understand without more context), I think a lot of it was in an early version of Prolog, "Micro-Planner."

https://en.wikipedia.org/wiki/Planner_(programming_language)