A view of the origins and development of Prolog. - Cohen, Jacques (Communications of the ACM, 1988)