Horn子句集 消解原理 深度优先 Prolog系统

全面系统介绍Visual Prolog语言及其编程。全书共分四个部分，第一部分简短介绍Visual Prolog可视化开发环境；第二部分包括教程的第2章至第11章，教你如何学会用Visual Prolog编程；第三部分包括第12章至第16章，详细叙述Visual Prolog的预定义特性；第四部分包括第17章至第18章，完整而系统地叙述语言元素和模块化程序设计，以及与其它语言的接口。

prolog是一门很有特色的逻辑编程语言，使用它能够比其他的语言更快速地开发程序，因为它的编程方法更象是使用逻辑的语言来描述程序。该资源有prolog的教程及运行系统

本书全面系统介绍Visual Prolog语言及其编程。全书共分四个部分，第一部分简短介绍Visual Prolog可视化开发环境；第二部分包括教程的第2章至第11章，教你如何学会用Visual Prolog编程；第三部分包括第12章至第16章，详细叙述Visual Prolog的预定义特性；第四部分包括第17章至第18章，完整而系统地叙述语言元素和模块化程序设计，以及与其它语言的接口。 下面是本书每一章的内容简介。 第一部分 Visual Prolog概述 第1章 Visual Prolog开发环境 描述如何将Visual Prolog安装到你的计算机上，如何使用Visual Prolog的可视化开发环境来运行本书所提供的例子，提供一个快速指南，包括创建、运行及保存你第一个Visual Prolog程序的一些步骤，解释如何应用可视化开发环境的Test Goal实用程序来运行语言教程提供的一些Visual Prolog程序的例子。 第二部分 学习Visual Prolog 第2章 Prolog基本原理 从自然语言的观点对Prolog提供一个概括地介绍，讨论如何把自然语言的语句和问题转换为Prolog的事实、规则和询问。 第3章 Visual Prolog程序结构 包括Visual Prolog的语法，Visual Prolog的程序段，用Visual Prolog进行编程。 第4章 合一与回溯 描述Visual Prolog如何求解问题，如何给变量赋值。 第5章 简单对象与复合对象 讨论声明和建立Visual Prolog中的结构。 第6章 重复与递归 解释如何应用回溯和递归编写重复性过程；还介绍了递归结构和树。 第7章 表与递归 介绍表及其递归用法，以及一般的表操作。 第8章 内部事实数据库 讨论使用Visual Prolog的事实段在运行时间对你的程序增加事实及存储全局信息。 第9章 算术与比较运算 介绍Visual Prolog内建的全部算术函数和比较函数，而且举例说明这些函数如何使用。 第10章 高级技术 控制流程分析，使用引用变量、谓词指针、二进制论域、项的转换，使用动态截断、工具及技术进行错误和信号处理，以及有效程序的编程风格。 第11章 类和对……

Prolog的求解过程 现在有两个问题：likes(m, X) 和 likes(j, X)） 第一步：第一个问题 likes(m, X) 去与事实匹配（置换与合一），按顺序得到 {f/X} likes(m, f). likes(m, w). likes(j, w). likes(j, s).

在河的右岸有3个修道士、3个野人和一条船，修道士要把所有人都运到河对岸，但是： （1）修道士和野人都会划船，但船每次最多只能运两个人； （2）在两个岸边，野人数目不能超过修道士的数目，否则后者被吃掉。野人完全服从修道士的任何渡河方案。 包含prolog代码以及实验报告

选修课实验报告：1、编写一个描述亲属关系的PROLOG程序，然后再给予出一些事实数据，建立一个小型演绎数据库。2、编写一个路径查询程序，使其能输出图中所有路径。3、一个雇主在发出招聘广告之后，收到了大量的应聘申请。为了从中筛选出不量的候选人，该雇主采用下列判据：申请者必须会打字、开车，并且住在伦敦。

利用Prolog语言解决简单的8皇后问题，希望会给大家有点帮助！

利用prolog语言设计算法，判断一个数是否为偶数

一个农夫带着一匹狼、一只羊、一颗白菜要过河，只有一条船而且农夫每次最多只能带一个动物或物品过河，并且当农夫不在的时候狼会吃羊，羊会吃白菜，列出所有安全将所有动物和物品带过河的方案。 包含prolog代码以及实验报告