没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
SWI-Prolog-6.3.7用户手册
SWI-Prolog-6.3.7用户手册
SWI-PROLOG
5星
· 超过95%的资源
需积分: 0
32 下载量
81 浏览量
2013-01-08
12:47:35
上传
评论
1
收藏
2.2MB
PDF
举报
温馨提示
立即下载
SWI-Prolog-6.3.7用户手册
资源推荐
资源评论
SWI-Prolog 手册 6.4.1版
浏览:175
SWI-Prolog最新手册。可作为Prolog编程进阶的参考。
SWI-Prolog用户手册
浏览:172
5星 · 资源好评率100%
Prolog是人工智能编程的经典语言,SWI-Prolog是Prolog开源社区备受推崇的系统。该用户手册十分详细,也可作为Prolog编程进阶的参考。
SWI-Prolog 用户手册 8.0.3版本 英文(pdf)
浏览:79
SWI-Prolog is a comprehensive and portable implementation of the Prolog programming language. SWI-Prolog aims to be a robust and scalable implementation supporting a wide range of applications. In p
SWI-prolog 软件 及 Prolog 教程
浏览:91
SWI-prolog 软件 及 Prolog 教程 SWI-prolog 软件 及 Prolog 教程 SWI-prolog 软件 及 Prolog 教程 SWI-prolog 软件 及 Prolog 教程
人工智能开发语言手册SWI-Prolog-7.2.3
浏览:7
人工智能开发语言手册SWI-Prolog-7.2.3。机器学习,机器推理。
SWI-Prolog特性
浏览:97
SWI-Prolog特性,翻译自其网站首页,SWI-prolog的介绍性内容
SWI-prolog及使用手册
浏览:191
5星 · 资源好评率100%
一般SWI-prolog的资料较少,我用了一个礼拜,里面有个例子。
swi-prolog
浏览:150
swi-prolog开发文档
SWI-Prolog-7.3.18 手册
浏览:15
SWI-Prolog-7.3.18 手册
swi-prolog参考手册
浏览:138
swi-prolog参考手册,SWI-Prolog 5.6 Reference Manual,英文参考手册,章节分为,介绍,总览,初始化与管理,建立谓词,使用模组,特殊变量,建立规则,多重应用,外语交互等
swi-prolog-editor-setup
浏览:196
4星 · 用户满意度95%
swi-prolog-editor Nice & using it now!
SWI-Prolog最新稳定版
浏览:156
最新版的swi-prolog,共享给大家
SWI-Prolog适用于MS-Windows
浏览:163
SWI-Prolog适用于MS-Windows,属于基本运用软件,英文版本
setup-swi-prolog:设置 SWI-Prolog 操作
浏览:110
可选的swi-prolog-branch输入参数( stable或devel ;默认为devel )允许选择分支。 所需的swi-prolog-version输入参数指定要安装的版本( latest或版本号,例如8.1.15 ;默认为latest )。 例子 on : push jobs :...
SWI-Prolog 6.6.6使用手册
浏览:156
SWI-Prolog 6.6.6使用手册(英文版)
swi-prolog 教程(*pdf)
浏览:34
5星 · 资源好评率100%
swi-prolog教程,叫你如何用prolog编辑出优秀的程序
swi-prolog-on-dotcloud:dotCloud 上的 SWI-Prolog 作为自定义服务
浏览:103
用法在 dotCloud 上使用 SWI-Prolog 的说明: 创建一个 dotCloud 应用程序(如果您还没有) 在应用程序的根目录中: git submodule add https://github.com/mndrix/swi-prolog-on-dotcloud 将自定义服务片段从swi-...
SWI-Prolog7.7.23手册
浏览:174
swil -Prolog是一种全面的、可移植的Prolog编程语言实现。swil - prolog旨在成为支持广泛应用程序的健壮且可伸缩的实现。特别是,它附带了大量的接口库,为其他语言、数据库、图形和网络提供接口。它为管理...
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:34
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:180
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:21
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:157
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
NPPJSONViewer.zip
浏览:5
4星 · 用户满意度95%
NodePad++ JSON格式化插件
GD32替换STM32注意事项.pdf
浏览:137
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
XCP协议的规范文档
浏览:189
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:155
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
CANoe通过CAPL脚本实现自动测试
浏览:53
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
蓝牙BLE协议中文版.pdf
浏览:163
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
BaiduOCR.zip
浏览:195
5星 · 资源好评率100%
按键精灵百度文字识别 自定义库 使用说明参考:https://blog.csdn.net/sinat_22215253/article/details/118272746
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
寒霜_Frostbite
2013-08-27
资源不错,真是我需要的,谢谢啦。
mb15574
2013-10-08
很不错,内容清晰,实用
k_moji
2013-12-09
我想要中文版的。。。。
jghworldhstceducn
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
21物联1班作业DES分组密码注释
18448-000_ARCL_RG.pdf
app-debug.apk
基于PyTorch和OpenCV的入门级车牌识别项目源码+模型(高分项目).zip
frp-v0.57.0-windows安装包
基于matlab的枸杞数量识别(GUI界面).zip代码78
昆仑通态TPC7032Ki、7031Ki 触摸屏 用户手册
佳博小票打印机安卓-Demo
关闭2000XP的端口图解
如何利用ChatGPT一键生成测试用例?
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功