Английская Википедия:David H. D. Warren

Материал из Онлайн справочника
Версия от 04:49, 25 февраля 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} {{other people|David Warren}} {{Use dmy dates|date=March 2018}} {{Use British English|date=March 2018}} {{Infobox scientist | name = David H. D. Warren | image = | image_size = | alt = | caption = | birth_date = <!--{{birth date|df=yes|yyyy|mm|dd}}--> | birth_place = | death_date = <!--{{death date and age...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Other people Шаблон:Use dmy dates Шаблон:Use British English Шаблон:Infobox scientist 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.

Early life and education

Warren received a Ph.D.[1] in artificial intelligence from the University of Edinburgh in 1977 under advisor Robert Kowalski, and (a second advisor) Donald Michie.[2]

Career

Warren worked for the Artificial Intelligence Center at SRI International in the 1980s.[3][4]

He founded the company Quintus Computer Systems in 1983 with William Kornfeld, Lawrence Byrd, Fernando Pereira and Cuthbert Hurd to commercialize the Prolog compiler, Quintus Prolog.[5] Quintus was sold to Intergraph Corporation in 1989.[6]

He has also held an academic position at the University of Bristol Department of Computer Science.[7]

References

Шаблон:Reflist

Шаблон:Authority control


Шаблон:Compu-bio-stub

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Шаблон:Cite journal
  2. ↑ Шаблон:MathGenealogy -- (accessed 10 August 2014)
  3. ↑ Шаблон:Cite web
  4. ↑ Шаблон:Cite news
  5. ↑ Шаблон:Cite book
  6. ↑ Шаблон:Cite book
  7. ↑ Шаблон:Cite book
Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:David_H._D._Warren&oldid=14213905