David H. D. Warren

David H. D. Warren is a computer scientist (Ph.D. artificial intelligence, University of Edinburgh 1977). In the 1970s and 1980s he worked primarily on logic programming and in particular the programming language Prolog. Warren wrote the first compiler for Prolog. The Warren Abstract Machine execution environment for Prolog is named after him.

Warren worked for the Artificial Intelligence Center at SRI International in the 1980s.^[1][2] He founded the company Quintus Computer Systems in 1983 with William Kornfeld, Lawrence Byrd, Fernando Perreira and Cuthbert Hurd to commercialize the Prolog compiler.^[3] Quintus was sold to Intergraph Corporation in 1989.^[4]

References

1. ^ "David H.D. Warren". Alumnus of the Artificial Intelligence Center. SRI International. http://www.ai.sri.com/people/warren. Retrieved May 26, 2010. 
2. ^ Nils J. Nilsson (1984). "Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center Technical Notes". AI Magazine 5 (1): p. 49. http://www.aaai.org/ojs/index.php/aimagazine/article/download/424/360. 
3. ^ The Artificial intelligence report. Artificial Intelligence Publications. 1983. http://books.google.com/books?id=xILpAAAAMAAJ. 
4. ^ David E. Weisberg (2008). "Intergraph". The Engineering Design Revolution:The People, Companies and Computer Systems That Changed Forever the Practice of Engineering. http://www.cadhistory.net/chapters/14_Intergraph.pdf. Retrieved May 26, 2010. 

External links

• David H. D. Warren at the Mathematics Genealogy Project.

Persondata
Name	Warren, David H.D.
Alternative names
Short description
Date of birth
Place of birth
Date of death
Place of death