Middle History of Logic Programming, by Carl Hewitt

Middle History of Logic Programming: Resolution, Planner, Edinburgh Logic for Computable Functions, Prolog and the Japanese Fifth Generation Project. (April, 2009, revised June, 2010). Carl Hewitt. Downloadable PDF. Review of the history and main ideas. "Logic Programming can be broadly defined as 'using logic to infer computational steps from existing propositions' ...The focus of this article is on the development of this idea. ... The idea has a long development that went through many twists in which important questions turned out to have surprising answers including the following:

• Is computation reducible to logic?
• Did Logic Programming contribute to the failure of the Japanese Fifth Generation Project (ICOT)?
• What is Logic Programming?"