本压缩包下为99道prolog编程习题的参考代码,大部分代码都经我本人测试通过,具体的测试办法见readme.txt文件,99道习题的原始英文内容见里面的pdf.
2024-03-25 17:57:09 311KB 编程语言
1
序言代码库 Prolog 中的逻辑编程入门。 初学者的简单作业。 在此处阅读有关 prolog 的更多信息: : 。 作业 1:家谱 使用仅包含谓词 Male(X)、Female(Y) 和 Parent(X, Y) 的知识库为描述您的家庭的家谱创建以下规则: 注意:上面的 X 和 Y 将填写您的 KB 的姓氏。 1)姐姐 2)弟弟 3)祖父母 4)表亲5) 父亲 6) 叔叔和阿姨
2023-04-09 22:31:53 2KB Prolog
1
人工智能课程上的实验 分别使用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 该动物是信天翁
2023-01-04 02:11:16 390KB lisp prolog 人工智能 专家系统
1
家族树SWI-PROLOG
2022-12-17 21:19:17 15KB Prolog
1
基于visual prolog的鸡疾病自动推理系统
2022-11-25 15:17:40 214KB visual prolog 自动推理
1
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). ```
2022-11-05 21:55:21 62KB puzzle algorithms graph-algorithms prolog
1
Horn子句集 消解原理 深度优先 Prolog系统
2022-10-15 16:03:48 192KB Prolog语言
1
Scryer-Prolog 编译器+命令行终端(由源码构建) A modern Prolog implementation written mostly in Rust. 一份现代的 Prolog 实现,主要使用 Rust 编写 开发者:Mark Thom 源码:https://github.com/mthom/scryer-prolog
2022-07-26 09:07:09 133.6MB Prolog rust 逻辑推理 编译器
1
F4Dev 是用于 STM32F4 微控制器的小型 (5x5 cm) 开发板, 它包含各种传感器和通信接口: + 10 自由度惯性测量单元 (IMU) - 加速度计(3 自由度) - 磁力计(3 自由度) - 陀螺仪(3 自由度) - 气压计(1 自由度) + 全向MEMS麦克风 + UART <-> 蓝牙 + UART <-> USB + LED 指示灯 + 6 针 JTAG 连接器(VDD、GND、TDI、TDO、TMS、TCK) + 引脚突破 更多详情、使用方法,请下载后阅读README.md文件’
2022-07-08 09:07:17 350KB prolog
基于 Attiny85 微控制器的 BadUSB 电缆(文档、gerbers、设计和原理图)。 概括: 历史 致谢 电子元器件 不带 USB 连接器的 BadUSB 电缆 Rev0(仅供参考) Rev1(仅供参考) Rev2(最终版) Rev3(最终版本,这个版本更容易焊接在移动电缆上) Rev3.1(最终版本,孔 D+ 和 D- 已删除) 信息 Rev0(仅供参考) Rev1(仅供参考) Rev2(这个版本比Rev3小) Rev3(此版本更容易焊接在移动电缆上) Rev3.1(孔 D+ 和 D- 移除) 导入项目 介绍 组装、引导加载程序和测试 引脚分配 Rev2 引脚分配 Rev3 引脚分配 Rev3.1 硬件需要烧录bootloader 下载引导加载程序 刻录引导程序 组装开发套件 基本要求 安装 Digispark USB 驱动程序 (Windows) Micronucleus Windows 的安装和更新(未测试) Micronucleus Ubuntu的安装和更新 上传有效载荷 有效载荷 虚拟机 更多详情、使用方法,请下载后阅读README.md文件
2022-07-06 19:09:58 28.16MB Prolog