Робърт Ковалски

от Уикипедия, свободната енциклопедия

Робърт Антъни Ковалски (роден 15 май 1941 в Бриджпорт, Кънектикът, САЩ) е американски логик, който прекарва повечето време на своята кариера в Англия. Робърт Ковалски е от голямо значение за създаването на логическото програмиране, и най вече на програмния език Пролог.

Бил е студент в Чикагския университет, Университетът на Бриджпорт (бакълавар по математика, 1963), Станфордския университет (магистър по математика, 1966), Университета във Варшава и Единбурския университет (докторска степен по компютърни науки, 1970). Бил е аспирант в Единбургския университет (1970–75) и заема мястото на ръководител по Компютърна логика в Имперския Колеж през 1982. От 1999, е заслужил преподавател по компютърна логика на департамента по компютърни изчисления в Имперския Колеж.


[редактиране] Виж още

  • Логическо програмиране
  • Prolog


[редактиране] Външни препратки

Личната страница на Робърт Ковалски