Prolog 序言基本问题

Prolog 序言基本问题,prolog,Prolog,首先,你推荐什么作为学习序言的书。第二,是否有一种简单的方法可以同时加载多个.pl文件?目前只是用['name.pl']一次做一个,但是一遍又一遍地做是很烦人的。我也在用它来学习 首先,欢迎来到Prolog!我想你会发现这是值得的和愉快的 我经常看到的推荐书是Prolog的艺术、Prolog编程以及子句和效果。我有艺术和编程,它们都是好书;艺术当然更百科全书,编程更线性。我最近经常查阅艺术和手工艺,还有一些更奇怪的(比如逻辑语法)。我希望下一步能深入购买Prolog编程。我不认为有很多糟糕的序言

首先,你推荐什么作为学习序言的书。第二,是否有一种简单的方法可以同时加载多个.pl文件?目前只是用['name.pl']一次做一个,但是一遍又一遍地做是很烦人的。我也在用它来学习


首先,欢迎来到Prolog!我想你会发现这是值得的和愉快的

我经常看到的推荐书是Prolog的艺术、Prolog编程以及子句和效果。我有艺术和编程,它们都是好书;艺术当然更百科全书,编程更线性。我最近经常查阅艺术和手工艺,还有一些更奇怪的(比如逻辑语法)。我希望下一步能深入购买Prolog编程。我不认为有很多糟糕的序言书,我们应该尽量避免。不过,我可能会把手艺和练习留到以后再做

通过列出多个文件,您可以一次加载多个文件:

:- [file1, file2, file3].
另外,由于'name.pl'以'.pl'结尾,您可以省略引号;只有在Prolog通常不会将封闭的原子视为原子的情况下,单引号才是真正必要的


希望这对您的旅行有所帮助并祝您好运。:)

这是一个很好的简短介绍:


我还想说,有一本很好的面向swi的pdf,但我找不到。

如果你喜欢数学入门,这是一本有趣的书,由Nilsson和Maluszinski撰写


Clocksin和Mellish编写的Prolog编程是经典的入门教材。

在SWI Prolog中,也可以查看:

?- make.

自动重新加载自查阅后修改过的文件。

您可以签出。这里推荐了几本好书。

我不会重复其他答案中已经提到的经典选择,但我将添加一篇由Michael Covington、Donald Nute和Andrew Vellino撰写的关于Prolog编程的深度说明。我想强调的两章是关于手边追踪和可撤销规则的章节。前者向您展示了如何以一种高效且有用的方式在铅笔和纸上进行Prolog计算。后者向您展示了如何创建支持可撤销规则的Prolog代码。与您在序言中习惯的规则不同,这些规则要么成功,要么彻底失败,并且不受规则本身未说明的任何内容的影响,可撤销规则可以在规则中陈述的信息上取得成功,但也可以被知识库中的其他规则削弱,从而以紧凑且易于理解的方式使表达式通常是正确的,但有例外。这本书说得更好:“另一方面,可撤销规则是一种无法应用于某些情况的规则,即使这些情况满足其条件,因为知识库中其他地方的某些知识阻止了它的应用。”


这是一个我在其他书中没有发现的有趣概念。

我还想提及伊万·布拉特科的书《人工智能的Prolog编程》,该书因其清晰明了的表达风格而受到赞扬(理应如此)。