The Logic Programming Paradigm and Prolog
The Birth of Prolog