主張：要點是將正規的邏輯風格帶入電腦編程之中的邏輯編程，提供了一個證明問題是真還是假的方法，早在二十世紀七十年代就由羅伯特·科瓦爾斯基等人提出邏輯可以作爲程式語言的基本思想。
領域：工程與科技
判定：NOT ENOUGH INFO