The Birth of Prolog
A Machine-Oriented Logic Based on the Resolution Principle