David H. D. Warren | |
|---|---|
| Alma mater | University of Edinburgh |
| Known for | Warren Abstract Machine |
| Scientific career | |
| Institutions | SRI International Quintus Computer Systems University of Bristol |
| Thesis | Applied Logic - Its Use and Implementation as Programming Tool (1977) |
| Doctoral advisor | Donald Michie Robert Kowalski |
David H. D. Warren is a computer scientist who worked primarily on logic programming and in particular the programming language Prolog in the 1970s and 1980s. Warren wrote the first compiler for Prolog, and the Warren Abstract Machine execution environment for Prolog is named after him.