David HD Warren es un científico informático que trabajó principalmente en programación lógica y, en particular, en el lenguaje de programación Prolog en las décadas de 1970 y 1980. Warren escribió el primer compilador para Prolog, y el entorno de ejecución de Warren Abstract Machine para Prolog lleva su nombre.
Warren recibió un Ph.D. [1] en inteligencia artificial de la Universidad de Edimburgo en 1977 con el asesor Robert Kowalski y (un segundo asesor) Donald Michie . [2]
Fundó la empresa Quintus Computer Systems en 1983 con William Kornfeld, Lawrence Byrd, Fernando Pereira y Cuthbert Hurd para comercializar el compilador Prolog. [5] Quintus fue vendido a Intergraph Corporation en 1989. [6]
También ocupó un puesto académico en el Departamento de Ciencias de la Computación de la Universidad de Bristol . [7]
Este artículo biográfico relativo a un especialista en informática es un trozo . Puedes ayudar a Wikipedia expandiéndola .