The Logic Programming Paradigm and Prolog
A Machine-Oriented Logic Based on the Resolution Principle