Date: Sep 26, 2013 5:16 PM
Author: Aaron Gray
Subject: Connection between J.A.Robinson's 1965 paper and Prolog

I am wondering if anyone knows the "causal connection route" between J.A. Robinsons paper "A Machine-Oriented Logic Based on the Resolution Principle" and the development of the Prolog programming language. What other papers and languages are involved in prolongs development.

http://dl.acm.org/citation.cfm?id=321253

Aaron Gray