#Sudoku 这是一个 Prolog 程序，可以解决 4x4 数独谜题。 （我也做了一个解决 9x9 的问题，但完成困难的谜题需要一段时间）。
#How to Use 要运行程序，您必须调用谓词sudoku 。 使用下划线“_”来调用空格。 下面是一个例子：
sudoku(
4, _, _, _,
_, 3, _, _,
_, _, 1, _,
_, 1, _, 2).
2022-03-06 23:51:41
2KB
1
实验项目1：
机器人搬盒子问题：设在一个房间里，有一个机器人ROBOT ，一个壁橱ALCOVE，一个积木块BOX，两个桌子A和B。开始时，机器人ROBOT在壁橱ALCOVE旁边，且两手空空，桌子A放着积木块BOX，桌子B是空的。机器人可把积木块BOX从一种状态桌子A上变换成另一种状态桌子B上，然后回到壁橱。用归结原理方法求解该问题？
实验要求：
1．用谓词公式表示问题的初始状态、目标状态以及机器人操作；
2．将谓词公式转换为子句集；
3. 利用归结原理对子句集中的子句进行归结。
4. 用Prolog实现机器人搬盒子的谓词逻辑。
5. 用Python或其他编程语言实现该问题的求解。
实验项目2：
爱因斯坦逻辑难题（斑马问题）：5个不同国家且工作各不相同的人分别住在一条街上的5所房子里，每所房子的颜色不同，每个人都有自己养的不同宠物，喜欢喝不同的饮料。根据以下信息，你能告诉我哪所房子里的人养斑马，哪所房子里的人喜欢喝矿泉水吗？
1. 英国人住在红色的房子里
2. 西班牙人养了一条狗
3. 日本人是一个油漆工
4. 意大利人喜欢喝茶
5. 挪威人住在左边的第一个房子里
6. 绿房子在白房子的右边
7. 摄影师养了一只蜗牛
8. 外交官住在黄房子里
9. 中间那个房子的人喜欢喝牛奶
10. 喜欢喝咖啡的人住在绿房子里
11. 挪威人住在蓝色的房子旁边
12. 小提琴家喜欢喝橘子汁
13. 养狐狸的人所住的房子与医生的房子相邻
14. 养马的人所住的房子与外交官的房子相邻
实验要求：
1. 用Prolog实现斑马问题的逻辑推理。
2. 在华为云的ModelArts中用Python实现该问题的求解。
思考题：
1. 如何将谓词公式转换为子句集？
2. 谓词公式与子句集等值吗？
2022-01-10 19:14:32
80KB
1
Prolog是人工智能编程的经典语言，SWI-Prolog是Prolog开源社区备受推崇的系统。该用户手册十分详细，也可作为Prolog编程进阶的参考。
2021-12-14 15:02:35
2.39MB
1
用PROLOG完成以下系统的编写。給出代码和一个运行实例。
根据主要的燃烧材料，可把火灾归类。把以下信息转换成规则，以决定火灾的类型。
A类火灾包括如纸、木和布等普通易燃物。
B类火灾包括易燃液体（如石油和石油气）、油脂和类似的物质。
C类火灾包括使用电力的电器。
D类火灾包括易燃的金属，如镁、钠、钾。
用来灭火的灭火器类型取决于火的类型。把下面的信息转换成规则：
A类火灾应该使用吸热或阻燃型灭火器灭火，如水或水类液体和无水化学品。
B类火灾应该通过隔绝空气、抑制易燃蒸汽的释放或终止易燃物的连锁反应来灭火。灭火器包括无水化学品、二氧化碳、泡沫和含溴三氟甲烷。
C类火灾应该使用防短路的非导电媒质灭火。如果可能的话，应切断电源。灭火器包括无水化学品、二氧化碳和含溴三氟甲烷。
D类火灾应该使用焖熄法和不与燃烧金属发生反应的吸热化学品灭火。这些化学品包括：三甲氧硼化物和涂有石墨的焦炭。
描述规则中所用的事实。输出结果应显示可以使用何种灭火器以及应该采取的其他措施，如切断电源。
注：软件为prolog5.2版本
答题思路都是一样的，即使题目有所不同
2021-12-08 05:49:27
571B
1
本书全面系统介绍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章 类和对……
2021-12-07 10:39:42
14.14MB
1