A view of the origins and development of Prolog
Parsing As Deduction