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