Prolog语言是一种非常适合人工智能领域的编程语言，它的名称是“Programming in Logic”的缩写。Prolog语言特别适合处理符号逻辑推理任务，其起源可以追溯到1972年，由Alain Colmerauer和Philippe Roussel在法国马赛大学开发。它是逻辑编程语言的一种，以其声明式而非命令式的编程范式区别于传统的编程语言，如C或Java。 Prolog程序的基本结构非常简单，主要包括三种语句类型：事实(facts)、规则(rules)和目标(goals)。事实用来表达问题中已知的信息，规则用来表达根据事实推理的逻辑关系，目标则是程序需要回答的问题。程序员只需要关心事实和规则的声明，Prolog系统会自动进行目标的查询和求解。 人工智能语言，包括Prolog在内，具有以下特点： 1. 具有符号处理能力：这意味着这类语言不仅限于处理数值计算，还能够处理非数值化的数据和信息。 2. 适合于结构化程序设计：程序更容易编写和理解。 3. 具有递归和回溯功能：递归是计算机科学中的一个概念，指的是函数直接或间接调用自身；回溯则是指在寻找问题解的过程中，如果发现现有的分步决策不可能达到目标，就取消上一步或上几步的操作，再尝试其他的可能，直到找到有效的解决方案。 4. 人机交互能力：人工智能语言编写的程序应易于与用户交互，理解和响应用户输入。 5. 适合推理：可以使用这类语言编写复杂的推理程序，如专家系统和逻辑推理引擎。 Prolog特别适合解决的领域包括自然语言理解、机器定理证明、专家系统、计算语言学等。Prolog中的程序运行顺序由系统决定，这是因为它是一种解释执行的陈述性语言，它没有类似于传统编程语言中的if、when、case、for这样的控制流程语句。Prolog程序的执行是基于模式匹配和回溯搜索的，使得程序和数据高度统一。实际上，Prolog程序本身可以被视为一个智能数据库，其中存储了关于问题的事实和规则。Prolog的强大递归功能也使得它在处理包含递归结构的问题时表现出色。 在Prolog中进行数据管理、算术计算和列表操作都是支持的，虽然其在这些方面的能力不如专门的数值处理语言，但足够在逻辑编程中使用。Prolog还提供了一系列内部谓词和操作符来辅助编程，以及“Cut”操作符来优化搜索过程，提高效率。 Prolog还具有处理自然语言的能力，可以编写用于解析和理解自然语言的程序。其数据结构中包含列表（list），列表是Prolog中非常重要的数据结构，经常用于存储和处理数据集合。 在Prolog和C语言之间的交互也是一个重要的话题。Prolog允许通过外部扩展谓词的方式与C语言程序进行交互，这使得Prolog能够使用C语言的丰富资源和功能，同时也为C语言提供了逻辑编程的能力。 递归是Prolog中一个非常核心的概念。递归在Prolog中不仅仅是函数调用自身，它还体现在搜索解的过程，这使得Prolog在处理树状或链状数据结构的问题上非常有效。 此外，Prolog还支持联合查询和操作符的使用，这为编程提供了更多的灵活性。在处理复杂数据结构，比如列表和树时，Prolog提供了一整套内置谓词来帮助程序员进行操作。 总结来说，Prolog作为一种人工智能语言，具备了符号处理、逻辑推理、递归和回溯等重要特性，非常适合于实现各种需要复杂逻辑处理的应用程序。它的声明式特性与传统命令式编程语言有着显著的差异，使得开发者在思考问题和设计算法时，往往需要换一种思维方式。

prolog7.1 商业版,内涵注册码,win7亲测可用.需要用来开发专家系统的可以下载试试哦..

人工智能中专家系统开发工具Visual Prolog 6.0课件

游戏AI 使用 Prolog 和 Java 设计的具有人工智能的多米诺骨牌游戏。 这是我大学逻辑课的一个项目，它是为一组使用任何语言制作游戏并使用 prolog 制作人工智能的项目。 我的小组是我，Paiva： : 和 Meireles： : 。 我们决定用 3 个不同级别的 AI 来做一个多米诺骨牌游戏。 我们在项目中使用 Netbeans，在 Java 和 swi-prolog 之间的接口中使用 jpl。 感谢用于旋转多米诺骨牌图像的类。

本压缩包下为99道prolog编程习题的参考代码,大部分代码都经我本人测试通过,具体的测试办法见readme.txt文件,99道习题的原始英文内容见里面的pdf.

序言代码库 Prolog 中的逻辑编程入门。 初学者的简单作业。 在此处阅读有关 prolog 的更多信息： : 。 作业 1：家谱 使用仅包含谓词 Male(X)、Female(Y) 和 Parent(X, Y) 的知识库为描述您的家庭的家谱创建以下规则： 注意：上面的 X 和 Y 将填写您的 KB 的姓氏。 1)姐姐 2)弟弟 3)祖父母 4)表亲5) 父亲 6) 叔叔和阿姨

人工智能课程上的实验 分别使用lisp语言和prolog语言实现了一个专家系统 并且有详细的实验报告 附带画的二级推理树 （1） 领域背景简介 为了更好地阐明专家系统的基本工作原理 ,我们用 PROLOG语言实现一个简单的动物识别专家系统。该系统可以识别老虎、金钱豹、斑马、长颈鹿、鸵鸟、企鹅、信天翁这 7 种动物。 （2） 求解问题的范围（如植物分类涉及哪些大类，哪些子类） 首先 ,将动物粗略地分为哺乳动物、鸟、肉食动物 3 大类 ,然后逐步缩小分类范围，再将动物分为老虎、金钱豹、斑马、长颈鹿、鸵鸟、企鹅、信天翁 在知识库中 ,并非简单地给每一种动物一条规则。首先 ,将动物粗略地分为哺乳动物、鸟、肉食动物 3 大类 , 然后逐步缩小分类范围 ,最后给出识别 7 种动物的规则。如图给出了识别长颈鹿和斑马的推理网络。 （1） 规则的前提和结论的表示方法 在本系统当中 ,知识库中的知识用产生式规则来表示。本系统能够识别 7 种动物 ,知识库中共有以下 15 条 规则。 R1 IF 该动物有毛发 THEN 该动物是哺乳动物 R2 IF 该动物有奶 THEN 该动物是哺乳动物 R3 IF 该动物有羽毛 THEN 该动物是鸟 R4 IF 该动物会飞 AND 会下蛋 THEN 该动物是鸟 （2） 规则的结论为中间结论时，规则的格式 R5 IF 该动物吃肉 THEN 该动物是肉食动物 R6 IF 该动物有犬齿 AND 有爪 AND 眼盯前方 THEN 该动物是肉食动物 R7 IF 该动物是哺乳动物 AND 有蹄 THEN 该动物是有蹄类动物 R8 IF 该动物是哺乳动物 AND 是嚼反刍动物 THEN 该动物是有蹄类动物 （3） 规则的结论为最终结论时，规则的格式 R9 IF 该动物是哺乳动物 AND 是肉食动物 AND 是黄褐色们 AND 身上有暗斑点 THEN 该动物是金钱豹 R10 IF 该动物是哺乳动物 AND 是肉食动物 AND 是黄褐色 AND 身上有黑色条纹 THEN 该动物是虎 R11 IF 该动物是有蹄类动物 AND 有长脖子 AND 有长腿 AND 身上有暗斑点 THEN 该动物是长颈鹿 R12 IF 该动物是有蹄类动物 AND 身上有黑色条纹 THEN 该动物是斑马 R13 IF 该动物是鸟 AND 有长脖子 AND 有长腿 AND 不会飞 THEN 该动物是鸵鸟 R14 IF 该动物是鸟 AND 会游泳 AND 不会飞 AND 有黑白二色 THEN 该动物是企鹅 R15 IF 该动物是鸟 AND 善飞 THEN 该动物是信天翁

家族树SWI-PROLOG

基于visual prolog的鸡疾病自动推理系统

Prolog-Dijkstra-Algorithm 使用Dijkstra算法的Prolog出租车调度程序应用程序。 该应用程序将尝试最佳调度出租车以接客。 这是通过使用Dijkstra的算法来找到最短路径来完成的，并为此提供了一种实现方法。 该代码可以通过查询scheduler.pl并调用scheduler(FinalTaxiPositions)来运行。 为了仅测试Dijkstra的算法，可以使用graph.pl ： % 0 is that start node = A ?- dijkstra(0, Costs, Prevs). % 0 is start node = A, 2 is destination = D ?- dijkstra_path(0, 2, Path, Cost). ```