David HD Warren

from Wikipedia, the free encyclopedia

David HD Warren is a British computer scientist .

He received his Ph.D. in 1977. Artificial Intelligence at the University of Edinburgh .

In the 1970s and 1980s he worked on logic programming , and in particular the Prolog programming language , for which he wrote the first compiler . The model of an ideal processor developed for this is named after him Warren's Abstract Machine .

Warren then worked at the Artificial Intelligence Center ( SRI International , San Francisco) in the 1980s .

With William Kornfeld, Lawrence Byrd, Fernando Perreira and Cuthbert Hurd , he founded the company Quintus Computer Systems in 1983 to market his Prolog compiler, the company was sold to the Intergraph Corporation in 1989 .

Web links

Individual evidence

  1. ^ David HD Warren. In: Alumnus of the Artificial Intelligence Center. SRI International, accessed May 26, 2010 .
  2. ^ Nils J. Nilsson: Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center Technical Notes . In: AI Magazine . tape 5 , no. 1 , 1984, p. 49 (English, web document ).
  3. Artificial Intelligence Publications (Ed.): The Artificial intelligence report . 1983.
  4. ^ David E. Weisberg: The Engineering Design Revolution: The People, Companies and Computer Systems That Changed Forever the Practice of Engineering . Intergraph ( The Engineering Design Revolution [accessed May 26, 2010]).