Prolog基本问题

时间:2012-03-01 03:59:36

标签: prolog

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

由于

6 个答案:

答案 0 :(得分:5)

首先,欢迎来到Prolog!我想你会发现它有益而且愉快。

我经常看到推荐的书籍是 Prolog的艺术编程Prolog Clause and Effect 。我有艺术编程,他们都是好书; Art 当然更具百科全书,编程更具线性。我最近咨询了 Art Craft ,还有一些更奇怪的(例如 Logic Grammars )。我希望接下来购买深度Prolog编程。我不认为有很多不好的Prolog书籍应该尽量避免。我可能会稍后保存 Craft Practice

您可以列出多个文件:

:- [file1, file2, file3].

另外,因为'name.pl'以'.pl'结尾,你可以省略引号;如果Prolog通常不会将封闭成为原子,那么单引号实际上是必要的。

希望这对你的旅程有所帮助,祝你好运。 :)

答案 1 :(得分:4)

如果你倾向于数学介绍,Logic, Programming and Prolog (2ED)是一本有趣的书,由Nilsson和Maluszinski撰写。

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

答案 2 :(得分:4)

在SWI-Prolog中,也请查看:

?- make.

自动重新加载自查询以来修改过的文件。

答案 3 :(得分:4)

您可以查看this question。那里有几本好书推荐。

答案 4 :(得分:2)

这是一个不错的简短介绍:http://www.soe.ucsc.edu/classes/cmps112/Spring03/languages/prolog/PrologIntro.pdf

我还想说那里有一个很好的以swi为导向的pdf,但我找不到它。

答案 5 :(得分:2)

我不会重复其他答案中已经提到的经典选择,但我会在Michael Covington,Donald Nute和Andrew Vellino上添加一篇关于Prolog Programming Depth的说明。我想强调的两章是关于手追踪可废止规则的章节。前者向您展示如何以高效且有用的方式在铅笔和纸上追踪Prolog计算。后者向您展示了如何创建支持可废弃规则的Prolog代码。与您在Prolog中习惯的规则不同,无论是成功还是失败,并且不受规则本身未说明的任何事情的影响,可行的规则可以成功处理规则中规定的信息,但可以被知识库中的其他规则所削弱。使表达式通常是正确的,但是以紧凑且易于理解的方式使例外更容易。另一方面,更好地说“另一方面,一个可废弃的规则,即使这些案例满足其条件,也不能适用于某些案例,因为知识库中的其他知识阻止它应用。”

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