Prolog Programming

这些讲义介绍了声明性编程语言Prolog。重点是学习如何编程，而不是逻辑编程理论。尽管如此，也包括一小段关于Prolog逻辑基础的内容。

这是第二部分，跟第一部分是一本书，想学Prolog的就看看吧

Logic.Programming.with.Prolog.pdf

适用于具有一定编程经验甚至可能已经在Prolog中编写了一些程序的本科生。不需要任何形式的命题或谓词逻辑知识。

本书显示了从1994年到2004年的前10场Prolog编程竞赛中的问题的解决方案。需要一些基本的Prolog编程技能。

Logic.Programming.In.Prolog.Using.The.ISO.Standard

本书全面介绍了Prolog编程语言，重点是构建实用的应用软件，而不仅仅是理论。读者可以构建几种类型的专家系统，以及自然语言处理软件和实用程序来读取外部文件格式。

逻辑编程简介。 本课程从Prolog开始，因为据信，如果读者对它与理论的实际实例有何联系，则可以更轻松地学习该理论。

prolog教程智能控制技术

序言的力量 现代Prolog简介 Prolog是一种源于形式逻辑的编程语言。它支持搜索和统一作为内置功能。 Prolog使我们能够用简短的通用程序优雅地解决许多任务。 这些材料的目的是弥合过去伟大的传