羅伯特·科瓦爾斯基

羅伯特·安東尼·科瓦爾斯基（Robert Anthony Kowalski，1941年5月15 日—）是一位美籍英籍邏輯學家和計算機科學家，他的研究涉及開發面向人類的計算模型和人類思維的計算模型。他的大部分職業生涯都在英國度過。科瓦爾斯基長期任教愛丁堡大學和帝國理工學院，是Prolog語言的主要開發者之一，邏輯編程先驅。

羅伯特·科瓦爾斯基
出生	(1941-05-15) 1941年5月15日（84歲） 美國康乃狄克州布里奇波特
知名於	邏輯編程 Prolog語言 霍恩子句
科學生涯
機構	愛丁堡大學 帝國理工學院

經歷

他曾就讀於芝加哥大學（數學學士學位，1963 年）、史丹佛大學（數學碩士學位，1966 年）、和愛丁堡大學（計算機科學博士學位，1970 年）。