Original sentence: A subset called Micro Planner was implemented by Gerry Sussman, Eugene Charniak and Terry Winograd and was used in Winograd's natural-language understanding program SHRDLU.Bob Kowalski, who had been one of the principal members of the logic paradigm community, then adapted in collaboration with Alain Colmerauer some theorem proving ideas into a form similar to a subset of Micro Planner, called Prolog.In this way Kowalski proposed to save the logic paradigm as a viable approach to Artificial Intelligence.Indeed, Hewitt considers Prolog to be a reinvention of Planner, but compare Kowalski's paper on the early history of logic programming.Much later in 1981, Kornfeld and Hewitt contributed to pattern directed invocation languages with the development of the Scientific Community Metaphor.Planner was a programming language designed by Carl Hewitt at MIT in 1969
Edited sentence: (This reinvention is somewhat controversial, e.)  In this way he proposed to save the logic paradigm as a viable approach to Artificial Intelligence., see Kowalski's paper on the early history of logic programming.A subset Micro Planner implemented by Gerry Sussman, Eugene Charniak and Terry Winograd was used in Terry's famous SHRDLU program.Bob Kowalski who had been one of the principal members of the logic paradigm community then adapted in collaboration with Colmerauer some theorem proving ideas into a form that essentially reinvented a subset of Micro Planner called Prolog.Much later in 1981, Kornfeld and Hewitt significantly advanced pattern directed invocation languages with the development of the Scientific Community Metaphor.Planner was a programming language designed by Carl Hewitt at MIT