加入 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 中常见风格的代码,还会帮你发现那些你并不知道自己不知道的东西。
了解更多关于指导的内容