没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
swi-prolog-editor-setup
swi-prolog-editor-setup
共18个文件
ini:14个
exe:2个
dll:1个
prolog
editor
4星
· 超过85%的资源
需积分: 9
15 下载量
74 浏览量
2010-09-29
10:04:53
上传
评论
1
收藏
1.44MB
ZIP
举报
温馨提示
立即下载
swi-prolog-editor Nice & using it now!
资源推荐
资源详情
资源评论
swi-prolog
浏览:127
swi-prolog开发文档
SWI-prolog 软件 及 Prolog 教程
浏览:146
5星 · 资源好评率100%
SWI-prolog 软件 及 Prolog 教程
SWI-Prolog最新稳定版
浏览:155
最新版的swi-prolog,共享给大家
setup-swi-prolog:设置 SWI-Prolog 操作
浏览:196
setup-swi-prolog 此操作设置 SWI-Prolog 环境以用于工作流。 用法 有关操作元数据,请参阅 。 可选的swi-prolog-branch输入参数( stable或devel ;默认为devel )允许选择分支。 所需的swi-prolog-version输入参数指定要安装的版本( latest或版本号,例如8.1.15 ;默认为latest )。 例子 on : pu
SWI-Prolog 手册 6.4.1版
浏览:14
SWI-Prolog最新手册。可作为Prolog编程进阶的参考。
人工智能开发语言手册SWI-Prolog-7.2.3
浏览:53
人工智能开发语言手册SWI-Prolog-7.2.3。机器学习,机器推理。
SWI-Prolog-6.3.7用户手册
浏览:129
5星 · 资源好评率100%
SWI-Prolog-6.3.7用户手册
SWI-Prolog特性
浏览:5
SWI-Prolog特性,翻译自其网站首页,SWI-prolog的介绍性内容
SWI-prolog及使用手册
浏览:133
5星 · 资源好评率100%
一般SWI-prolog的资料较少,我用了一个礼拜,里面有个例子。
SWI-Prolog-7.3.18 手册
浏览:77
SWI-Prolog-7.3.18 手册
SWI-Prolog适用于MS-Windows
浏览:131
SWI-Prolog适用于MS-Windows,属于基本运用软件,英文版本
SWI-Prolog 用户手册 8.0.3版本 英文(pdf)
浏览:28
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 .
swi-prolog参考手册
浏览:127
swi-prolog参考手册,SWI-Prolog 5.6 Reference Manual,英文参考手册,章节分为,介绍,总览,初始化与管理,建立谓词,使用模组,特殊变量,建立规则,多重应用,外语交互等
SWI-Prolog用户手册
浏览:149
5星 · 资源好评率100%
Prolog是人工智能编程的经典语言,SWI-Prolog是Prolog开源社区备受推崇的系统。该用户手册十分详细,也可作为Prolog编程进阶的参考。
swi-prolog 教程(*pdf)
浏览:27
5星 · 资源好评率100%
swi-prolog教程,叫你如何用prolog编辑出优秀的程序
SWI-Prolog 6.6.6使用手册
浏览:2
SWI-Prolog 6.6.6使用手册(英文版)
SWI-Prolog7.7.23手册
浏览:180
swil -Prolog是一种全面的、可移植的Prolog编程语言实现。swil - prolog旨在成为支持广泛应用程序的健壮且可伸缩的实现。特别是,它附带了大量的接口库,为其他语言、数据库、图形和网络提供接口。它为管理...
swi-prolog-wasm:SWI-Prolog移植到WebAssembly
浏览:199
SWI-Prolog移植到WebAssembly 该存储库包含将Prolog实施SWI-Prolog( )编译为WebAssembly的说明。 汇编 这些编译说明假定基于Linux的主机。 生成的WebAssembly二进制文件与平台无关。 准备 您需要下载Emscripten...
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:77
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:98
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
浏览:91
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:62
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
NPPJSONViewer.zip
浏览:118
4星 · 用户满意度95%
NodePad++ JSON格式化插件
GD32替换STM32注意事项.pdf
浏览:106
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
XCP协议的规范文档
浏览:159
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
浏览:156
3星 · 编辑精心推荐
vs2015.iso包安装,不然会卡在安装包丢失或损坏
CANoe通过CAPL脚本实现自动测试
浏览:57
现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
蓝牙BLE协议中文版.pdf
浏览:159
蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
收起资源包目录
swi-prolog-editor-setup.zip
(18个子文件)
turkish.ini
13KB
greek.ini
15KB
galician.ini
14KB
SwiplEdit.map
1.17MB
chinese.ini
12KB
romanian.ini
14KB
SwiplEdit.exe
2.01MB
italian.ini
15KB
deutsch.ini
14KB
setup.exe
546KB
tchinese.ini
12KB
portuguese.ini
14KB
quebecfrench.ini
14KB
Swing.DLL
146KB
bulgarian.ini
14KB
russian.ini
13KB
english.ini
13KB
espanol.ini
14KB
共 18 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
spoonysnail
2013-12-29
为什么木有安装指南。。。。。。。。反正我装了总是出错。。也不知道哪里有问题T^T
qiyudong
2015-01-05
挺贵的,希望有用~
linsen870930
粉丝: 0
资源:
3
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
2022NOC软件创意编程赛项真题图形化小学高年级-决赛赛(有解析)
gbase驱动下载gbase-connector-java-8.3.81.53驱动下载
2022NOC软件创意编程赛项真题图形化小学低年级-决赛赛(有解析)
InsightFace从青铜到王者,超大规模人脸识别的优雅解法
python后端开发spider框架详解
基于 STM32 与 ESP8266 的智能家居系统源码.zip
基于matlab的鱼苗计数识别(GUI界面).zip代码57
废案
单链表基本算法设计成品.cpp
SVID_20240421_174417_1.mp4
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功