我应该从哪里开始学习Prolog？

Question

我想学习一些Prolog。

有人可以推荐a）在Linux上实现良好的免费实现吗？和b）一个很好的教程/食谱？

Answer 1

SWI-Prolog应该足够了。性能不是很好，但它非常成熟和功能齐全。它还有广泛的documentation。至于在线教程，我建议http://www.learnprolognow.org/。就个人而言，我学习了一些小项目，我用其他语言编写并将它们移植到Prolog，同时试图避免断言/收回。

Answer 2

Prolog教程，视频，书籍和实现。 Enjy！

https://www.whoishostingthis.com/resources/prolog/

在上面的链接中，您可以找到以下文本教程：

• Prolog简介：这是一个非常简单的教程，但是可以解决其他教程倾向于忽略的一些基本问题。 http://www.doc.gold.ac.uk/.../prolog_tutorial/prologpages/
• 尝试逻辑编程！ Prolog的简要介绍：这是关注逻辑编程作为一种不同的编程范式。 https://bernardopires.com/.../try-logic-programming-a.../
• Prolog： - 教程：这是一个详细的，面向示例的语言介绍。 http://www.cpp.edu/~jrf.../www/prolog_tutorial/contents.html
• 立即学习Prolog：这是一本从一开始就开始进入高级科目的全面教程。 http://learnprolognow.org/lpnpage.php?pageid=online