The Birth of Prolog
A view of the origins and development of Prolog