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.
David used to work for Artificial Intelligence Center at SRI International.
External links
- David H. D. Warren's works at Scientific Commons
- David H. D. Warren's works at DBLP
- David H. D. Warren at the Mathematics Genealogy Project
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)


