Nova的科學反主流學院　

Prolog是一種邏輯式程式語言，可以用來推論各種知識。 給他足夠的規則，再問他問題，他就可以回答出正確答案。 這張會先教怎麼安裝： 先進到下方 http://www.swi-prolog.org/download/stable 然後根據作業系統點選下載 (從上而下依序是WINDOWS32位元、64位元以及Mac) 點選 I Agree (我同意) 安裝內容用預設的就好，點選 ne…