想学习并精通 Prolog 吗?

加入 Exercism 的 Prolog 轨道,即可获得 109 个练习 还会自动分析 你的代码,并提供 个性化指导, 而且全部100% 免费。

关于 Prolog

109 个编程练习,尽在 Exercism 的 Prolog。 从 罗马数字 到 电阻色环三重奏。


借助有趣又有收获的编程练习提升编程水平,在 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 轨道