prolog - 我该如何处理 Prolog

Question

我在我的大学学习了 Prolog 类(class)。该类(class)要求我们编写序言程序。我能够编写简单的程序，但我发现消化复杂的程序并不困难。对如何进行或如何研究这个主题有什么建议吗？解决此类类(class)的方法是什么。任何帮助表示赞赏。谢谢。

Answer 1

我写了一个答案(可能只是咆哮)，因为我遇到了同样的问题。如果问题被关闭，我认为答案仍然存在？

what is the approach to tackle this kind of course.

与所有类(class)一样，您可以收集老师/讲师/教授提供的所有 Material ，并找到他们推荐的书籍。您按照他们期望的方式进行练习。不要对你的解决方案很聪明，要聪明地找到你的老师想要看到的东西!尝试找到旧的考试并研究它们；特别是如果你能找到分级考试(如果你幸运且“足智多谋”......请高年级学生帮忙!)

Any suggestions how to proceed or how do I study this subject ?

Prolog 很难学。我试着在大学里学习它，老师说了一件事。然后我拿起一本书(“Sterling and Shapiro”)，它说的是另一回事。然后我上网，发现另外两个非常不同的东西(“Amzi 神奇冒险”和“立即学习 Prolog!”)。还有“Prolog 中的专家系统”(来自 Amzi 网站)，这又是另一回事。我来到 StackOverflow，发现在我尝试阅读的所有文本中都找不到其他答案。

对我来说最好的学习地点是 SWI-Prolog 谓词文档:这太离谱了，你不觉得吗？至少它是一致的....

然后我试图从中学习的 Stackoverflow 上的许多答案都在谈论(对我来说)毫无意义的事情，可能是因为我不知道 Prolog，但如何学习它？几乎所有的问题都是家庭作业，几乎所有的家庭作业答案都像是谈论 ISO、逻辑和纯粹性但没有明确答案的小讲座。

总而言之:“斯特林和夏皮罗”至少是完整的，而且还不算太奇怪； SWI-Prolog 有很好的谓词文档甚至代码示例。

编辑:在所有文本中您都没有没有阅读过有关模块的内容，但是如何在没有模块系统的情况下编写大型程序？甚至 Stroustrup 的 C++ 书也解释了如何使用头文件和源文件来维护更大的程序。再一次，你去阅读 SWI-Prolog 文档中关于模块的章节。

EDIT2:我学习“计算机科学”，所以我可能了解“编程”、“数据结构”和“算法”，并且我了解什么是“证明树”和“回溯”等。 Prolog 只是另一种语言。那么，为什么教它和学它这么难呢？这是一个悬而未决的问题。我不想在 Stackoverflow 上问它，因为它会被关闭。

EDIT3:因为你已经标记了“clpfd”，所以还有另一个文本:

https://www.metalevel.at/prolog

它显示了许多我在我引用的任何其他文本中都没有看到的 clp(fd) 解决方案。它很有用且前后一致，但又不同于所有其他文本。也许如果我阅读和研究我能找到的所有东西，我就能给你一个真正的答案。

但是你是想通过类(class)还是学习 Prolog？你想要一个好成绩和最小的努力吗？你需要先找到这些问题的答案!