只为小站
首页
域名查询
文件下载
登录
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
CNN卷积神经网络Matlab实现
DBSCAN算法Matlab实现
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
IEEE33节点配电网Simulink模型.rar
RNN-LSTM卷积神经网络Matlab实现
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
粒子群算法优化3-5-3多项式工业机器人时间最优轨迹规划算法matlab代码
vivado 破解 lisence(有效期到2037年) 下载
雷达信号处理仿真程序(MTI,MTD等)
BP神经网络+PID控制simulink仿真
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
scratch版 我的世界.sb2
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
基于STM32的FFT频谱分析+波形识别
voc车辆检测数据集(已处理好,可直接训练)
最新下载
MathNet.Numerics Api 详细说明最小二乘法等MathNet.Numerics是一个.NET的开源数学库。
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控制器进行多路径路由-源码
其他资源
DSP_F2812的头文件、源文件和CMD文件
ACM巨全模板 .pdf
求解无向图中任意两点之间的所有路径的C#实现
基于SSM框架--超市管理系统项目+实验报告
基于JAVA的订餐管理系统的设计与实现毕业论文完整版
DSP28335 实现FFT功能 CCS工程
网上心理测试系统毕业论文
深度学习国内研究综述
python3.0 爬虫小说
Echarts3配置项手册离线网页版
IOSK线蜡烛OHLC图Demo
基于图像识别的电熨斗点胶机系统
社区服务管理系统社区服务管理系统
FTTB组网场景(EPON组网,无HGW,LAN接入) 配置案例.zip
抓包HTTP Debugger Pro v9.11.zip
Windows10Manager v3.4.1
VC6下开发的des邮件加密系统
nspr-4.13.1-1.el6.x86_64.rpm
酒店管理系统(JAVA+sqlserver)
springMVC集成junit4需要的jar包
STC-ISP Ver6.38下载软件
朴素贝叶斯算法的邮件数据
永大电梯数据读写软件-解密软件-式样修改密码解密软件