想學習並精通 Prolog 嗎?

加入 Exercism 的 Prolog 學習軌道,即可獲得 109 個練習 並享有程式碼自動分析 以及 個人導師引導, 全部100% 免費。

關於 Prolog

在 Exercism 上,Prolog 共有109 個程式設計練習。 從 十二天 到 魔方陣。


透過 Exercism 上有趣又有成就感的程式設計練習,測試你對各種概念的理解,讓你的程式設計能力更上一層樓。

查看 Exercism 上所有 Prolog 練習

Prolog 的核心功能


Prolog

相容

SWI-Prolog 提供一套完整的內建述詞,涵蓋許多既有的標準。

簡潔

單一的語言元素,稱為子句,是所有 Prolog 關係與程式的基礎。

宣告式

Prolog 專注於解答中何者為真,而不是它如何被實作。

邏輯

Prolog 以邏輯規則為基礎,執行本身即是邏輯推導的一種形式。

同像性

Prolog 程式本身也是有效的 Prolog 項,程式可以與其他 Prolog 程式互動。

可攜性

在 Unix/Linux、Windows、MacOS 平台上都有實作,並以 WebAssembly(WASM)為目標。

以 Prolog 的方式獲得引導

每種語言都有自己做事的方式。Prolog 也不例外。我們的導師會幫助你學會像 Prolog 開發者那樣思考,以及如何寫出 道地的 Prolog 程式碼。解完一個練習後,把它提交給我們的 志工團隊,他們會給你提示、想法和回饋,告訴你 怎麼寫得更像你在 Prolog 中平常會看到的樣子。他們也會幫助你發現那些 你不知道自己不知道的事。

進一步了解引導

由社群提供的 Prolog 練習

Exercism 上的 Prolog 學習軌道有 109 個練習,幫助你寫出更好的程式碼。

查看所有 Prolog 練習
Prolog

開始使用 Prolog 學習軌道

最棒的是,它對所有人 100% 免費。

加入 Prolog 學習軌道