只为小站
首页
域名查询
文件下载
登录
Horn子句集-
Prolog语言
(耐心看完,你就入门了)
Horn子句集 消解原理 深度优先 Prolog系统
2022-10-15 16:03:48
192KB
Prolog语言
1
visual
prolog语言
教程
全面系统介绍Visual
Prolog语言
及其编程。全书共分四个部分,第一部分简短介绍Visual Prolog可视化开发环境;第二部分包括教程的第2章至第11章,教你如何学会用Visual Prolog编程;第三部分包括第12章至第16章,详细叙述Visual Prolog的预定义特性;第四部分包括第17章至第18章,完整而系统地叙述语言元素和模块化程序设计,以及与其它语言的接口。
2022-04-08 17:32:07
14.15MB
prolog
visual
语言教程
1
prolog语言
运行系统及相关教程
prolog是一门很有特色的逻辑编程语言,使用它能够比其他的语言更快速地开发程序,因为它的编程方法更象是使用逻辑的语言来描述程序。该资源有prolog的教程及运行系统
2022-04-08 17:27:06
3.53MB
prolog
逻辑编程语言
人工智能
1
Visual 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章 类和对……
2021-12-07 10:39:42
14.14MB
Visual
Prolog
语言教程
1
Prolog的求解过程-
Prolog语言
(耐心看完,你就入门了)
Prolog的求解过程 现在有两个问题:likes(m, X) 和 likes(j, X)) 第一步:第一个问题 likes(m, X) 去与事实匹配(置换与合一),按顺序得到 {f/X} likes(m, f). likes(m, w). likes(j, w). likes(j, s).
2021-12-04 05:40:02
192KB
Prolog语言
1
人工智能
prolog语言
实验:修道士、野人渡河问题(传教士、野人渡河问题)
在河的右岸有3个修道士、3个野人和一条船,修道士要把所有人都运到河对岸,但是: (1)修道士和野人都会划船,但船每次最多只能运两个人; (2)在两个岸边,野人数目不能超过修道士的数目,否则后者被吃掉。野人完全服从修道士的任何渡河方案。 包含prolog代码以及实验报告
2021-12-01 12:39:29
226KB
prolog
1
PROLOG语言
实验一
选修课实验报告:1、编写一个描述亲属关系的PROLOG程序,然后再给予出一些事实数据,建立一个小型演绎数据库。2、编写一个路径查询程序,使其能输出图中所有路径。3、一个雇主在发出招聘广告之后,收到了大量的应聘申请。为了从中筛选出不量的候选人,该雇主采用下列判据:申请者必须会打字、开车,并且住在伦敦。
2021-11-25 01:15:33
146KB
实验报告
1
Prolog语言
解决8皇后问题源程序
利用
Prolog语言
解决简单的8皇后问题,希望会给大家有点帮助!
2021-11-25 00:48:01
474B
Prolog语言
8皇后问题
1
人工智能prolog
利用
prolog语言
设计算法,判断一个数是否为偶数
2021-11-23 16:23:28
413B
prolog语言
1
人工智能
prolog语言
实验:农夫渡河问题
一个农夫带着一匹狼、一只羊、一颗白菜要过河,只有一条船而且农夫每次最多只能带一个动物或物品过河,并且当农夫不在的时候狼会吃羊,羊会吃白菜,列出所有安全将所有动物和物品带过河的方案。 包含prolog代码以及实验报告
2021-11-09 20:28:57
43KB
prolog
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
华为OD机试真题.pdf
机械臂避障路径规划仿真 蚁群算法 三维路径规划
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
大学生网页设计大作业-5个网页设计制作作品自己任选
DS证据理论的MATLAB案例程序源代码
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
科研伦理与学术规范 期末考试2 (40题).pdf
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
2010年-2020中国地面气候资料数据集(V3.0)
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
BP_PID控制仿真.rar
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
机械臂碰撞检测 八组逆解碰撞检测 机械臂避障路径规划
中国地面气候资料日值数据集(V3.0)2010-2019.rar
最新下载
RZC_IAP_B1-FD-RZ-10-0020-B1.upg
RZC_IAP_B1-FD-RZ-10-0019-B1.upg
LDAC-Decoder-Evaluation-Kit-lib-for-ADK6.4.0-E.pdf
获取CPU序列号和硬盘序列号加密生成机器码
Nathan Jacobson. Basic Algebra II (2ed)
《范畴与同调代数基础》作者: 李桃生 出版时间: 1988年
2024北森题库(含答案)
2020年成都宏科-瓷介电容器选型手册.pdf
多路径:使用Ryu和Pyretic SDN控制器进行多路径路由-源码
遥感图像显示Demo.rar
其他资源
Win8.1 Apps应用部署v2.6
数据结构 C++ 版 (第2版) 王红梅等 扫描版
炫龙dc蓝天w650dc原厂bois文件
hadoop-eclipse-plugin-2.7.7.jar 官方版本编译
ISO14229标准协议中文版-UDS.zip
(STM32)DHT11程序
matlab实现近似熵值的计算
WinLicense中文说明书
软件工程系统流程图,数据流图,数据字典(实例分析)
C#连接FreeSwitch执行一些操作操作例子
Rtmp流生成MP4文件源码
蓝桥杯历年真题视频解析
csv_to_tfrecord.py
lis3mdl参考手册.pdf
医疗信息化行业:云乘大势,共轭发展.pdf
AnyTXT Searcher(本地文本搜索工具)官方中文版V1.2.394 | 可批量搜索txt文件内容.zip
MFC简单画图程序,重绘,点,线,矩形,椭圆,拖拽预览
ToonBoomStoryboardPro10分镜制作中英版.txt
hangouts-chat-samples:Google聊天的聊天机器人示例-源码
flutter_practies.zip
MD5源代码和教程
c标准库
AT指令直连阿里ilop飞燕云平台
Java 爬虫下载图片
FREEBSD操作系统设计与实现 清晰中文版+英文原版 (共2个分卷)
主成分分析实验数据及代码