只为小站
首页
域名查询
文件下载
登录
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
MTALAB NSGA2算法
商用密码应用与安全性评估——霍炜.pdf
2020年数学建模国赛C题论文
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
云视通扫描工具.zip
多智能体的编队控制matlab程序(自己编写的,可以运行)
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
粒子群多无人机协同多任务分配.zip
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
非线性本构关系在ABAQUS中的实现.pdf
Android大作业——网上购物APP(一定是你想要的)
随机森林用于分类matlab代码
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
狂神说Java系列笔记.rar
最新下载
UML课程设计(报告+建模.mdl文件)
STM32F1_W5500.zip
Tensorflow分割:Tensorflow中的语义图像分割-源码
安全阀cad装配图及零件图
银河麒麟V10-arm64-qt5.12.8离线安装包
kohana3手册
安全阀CAD图
CANopen PDO-SDO应用实例讲解
python3.9版本对应GDAL下载
kie-Drools-kie-server7.10.0+tomcat8
其他资源
计算并绘制频散曲线的matlab程序
uni-app实现视频文件指定目录下载并重命名
知名的斯坦福兔子的三维点云数据,pcd格式
员工管理系统代码和解析(华清)
计算机图形学 OPENGL 多边形填充 有序边表法
fiddler导出jmeter脚本扩展文件V4.4
电路分析基础 第四版(李瀚荪)习题答案
基于EP1C3T144 FPGA最小系统原理图及pcb
简易温度控制器制作(热敏电阻作为温度传感器)
彩票源码带教程.zip
VC++编写的交通灯控制程序
Y,YB系列电机cad图
记录温度变化曲线的android程序,单片机采集到温度信息通过蓝牙传输到手机,用到SQLite储存数据,mpchart描绘曲线,可以用于学习蓝牙传输
VF学生成绩管理系统免费版
业界资深网络工程师写的项目经验汇总.pdf
A SDR Prototype for Backscatter Sensor Networks
ASP网站源码|公司内网|资产管理系统|带后台|二维码标签打印|
计算机系统结构课后答案 清华郑纬民 各种版本
最小生成树算法源码 java源码
linux环境下C语言编程指南 源代码
TeeChart最全最详细应用资料汇总使用说明
tomcat6 windows64位
IconLover V5.40 简体中文汉化修正版