Richard A. O'Keefe es un científico informático mejor conocido por escribir el influyente libro de 1990 sobre programación Prolog , The Craft of Prolog . [1] Fue profesor e investigador en el departamento de informática de la Universidad de Otago en Dunedin , Nueva Zelanda y se concentra en lenguajes de programación para programación lógica y programación funcional , incluidos Prolog , Haskell y Erlang .