加入 Exercism 的 Prolog 學習軌道,即可獲得 109 個練習 並享有程式碼自動分析 以及 個人導師引導, 全部100% 免費。
透過 Exercism 上有趣又有成就感的程式設計練習,測試你對各種概念的理解,讓你的程式設計能力更上一層樓。
查看 Exercism 上所有 Prolog 練習
SWI-Prolog 提供一套完整的內建述詞,涵蓋許多既有的標準。
單一的語言元素,稱為子句,是所有 Prolog 關係與程式的基礎。
Prolog 專注於解答中何者為真,而不是它如何被實作。
Prolog 以邏輯規則為基礎,執行本身即是邏輯推導的一種形式。
Prolog 程式本身也是有效的 Prolog 項,程式可以與其他 Prolog 程式互動。
在 Unix/Linux、Windows、MacOS 平台上都有實作,並以 WebAssembly(WASM)為目標。
每種語言都有自己做事的方式。Prolog 也不例外。我們的導師會幫助你學會像 Prolog 開發者那樣思考,以及如何寫出 道地的 Prolog 程式碼。解完一個練習後,把它提交給我們的 志工團隊,他們會給你提示、想法和回饋,告訴你 怎麼寫得更像你在 Prolog 中平常會看到的樣子。他們也會幫助你發現那些 你不知道自己不知道的事。
進一步了解引導