没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
SWI-Prolog最新稳定版
SWI-Prolog最新稳定版
SWI-Prolog
需积分: 10
8 下载量
126 浏览量
2016-02-26
11:04:26
上传
评论
收藏
11.3MB
EXE
举报
温馨提示
立即下载
开通VIP(低至0.43/天)
买1年送1年
最新版的swi-prolog,共享给大家
资源推荐
资源评论
swipl:SWI-Prolog稳定版本
浏览:147
SWI-Prolog:全面的Prolog实施 分叉,克隆和提交补丁 该存储库使用许多。 这导致分叉和克隆不起作用的常见问题。 而是从克隆,然后将您的克隆与fork关联(将me替换为github用户名)。 git clone https://github.com/SWI-Prolog/swipl-devel.git cd swipl-devel git submodule update --in
swi-prolog
浏览:181
开源的prolog编译器,能够满足Windows下prolog的编译,此版本支持XP,从官网下的。
swi prolog
浏览:9
swi prolog 方便大家一起使用 共同进步
SWI-Prolog 手册 6.4.1版
浏览:145
SWI-Prolog最新手册。可作为Prolog编程进阶的参考。
SWI-prolog 软件 及 Prolog 教程
浏览:77
5星 · 资源好评率100%
SWI-prolog 软件 及 Prolog 教程
SWI-prolog及使用手册
浏览:3
5星 · 资源好评率100%
一般SWI-prolog的资料较少,我用了一个礼拜,里面有个例子。
SWI-Prolog适用于MS-Windows
浏览:99
SWI-Prolog适用于MS-Windows,属于基本运用软件,英文版本
swi-prolog-editor-setup
浏览:136
4星 · 用户满意度95%
swi-prolog-editor Nice & using it now!
swi-prolog-wasm:SWI-Prolog移植到WebAssembly
浏览:115
SWI-Prolog移植到WebAssembly 该存储库包含将Prolog实施SWI-Prolog( )编译为WebAssembly的说明。 汇编 这些编译说明假定基于Linux的主机。 生成的WebAssembly二进制文件与平台无关。 准备 您需要下载Emscripten编译器。 按照其上的说明进行操作。 成功安装后,将Emscripten环境加载到当前终端会话(调整路径)中: so
人工智能开发语言手册SWI-Prolog-7.2.3
浏览:39
SWI-Prolog特别适合服务器应用程序,因为它提供了对多线程和HTTP服务器库的稳定支持。此外,它在文档管理方面具有强大的支持,包括HTML/SGML/XML和RDF文档的管理。SWI-Prolog的设计遵循了“爱丁堡传统”,并与其他...
SWI-Prolog-6.3.7用户手册
浏览:39
5星 · 资源好评率100%
这意味着对于那些希望利用 Prolog 进行项目开发的开发者来说,SWI-Prolog 提供了一个成熟且稳定的平台。 - **服务器应用**:由于其多线程和 HTTP 服务器库的强大支持,SWI-Prolog 特别适合服务器端应用。 - **开发...
swi-prolog 教程(*pdf)
浏览:145
5星 · 资源好评率100%
SWI-Prolog已经发展成为一个成熟稳定的Prolog实现。其版本更新持续进行,以适应新的技术需求和发展趋势。版本号通常反映了软件的重要更新和特性增强。 ##### 1.3 ISO标准合规性 SWI-Prolog遵循Edinburgh Prolog、...
SWI-Prolog 6.6.6使用手册
浏览:39
SWI-Prolog 作为一款综合性和可移植性极强的 Prolog 编程语言实现,其设计目标是提供一个稳定且可扩展的基础架构,以支持广泛的应用场景。该系统具有以下显著特点: - **多接口库**:SWI-Prolog 配备了丰富的接口库...
swipl-8.0.2-1.x64.rar
浏览:179
SWI-Prolog 最新稳定版下载。prolog是更加容易理解的语言。如果你从来没有接触过计算机编程,那么恭喜你,你将很容易的进入prolog世界。如果你已经是其他语言的高手,你就需要完全丢弃你原来的编程思路,否则是很难...
SWI-Prolog-7.3.18 手册
浏览:105
SWI-Prolog-7.3.18 手册
SWI-Prolog 用户手册 8.0.3版本 英文(pdf)
浏览:9
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-Prolog7.7.23手册
浏览:176
swil -Prolog是一种全面的、可移植的Prolog编程语言实现。swil - prolog旨在成为支持广泛应用程序的健壮且可伸缩的实现。特别是,它附带了大量的接口库,为其他语言、数据库、图形和网络提供接口。它为管理HTML/SGML/XML和RDF文档提供了广泛的支持。该系统特别适合于服务器应用程序,因为它对多线程和HTTP服务器库。
swi-prolog参考手册
浏览:163
swi-prolog参考手册,SWI-Prolog 5.6 Reference Manual,英文参考手册,章节分为,介绍,总览,初始化与管理,建立谓词,使用模组,特殊变量,建立规则,多重应用,外语交互等
采用Prolog和C联合开发专家系统的一种实用方法
浏览:71
需要设计合理的错误检测和处理机制,以确保系统的稳定运行。 #### 实践经验分享 文章作者根据自己的实践经验,总结了几点值得注意的事项: 1. **使用正确的库文件**:连接Prolog与C时,应使用特定版本Prolog提供...
SWI Prolog Reference
浏览:100
### SWI Prolog 参考手册关键知识点解析 #### 一、SWI Prolog 概览 ##### 1.1 SWI Prolog 简介 - **定义**:SWI Prolog 是一种基于 Warren 抽象机 (WAM) 的子集构建的 Prolog 实现。 - **目标**:旨在提供一个开放...
SWI2-autoserivs
浏览:21
"master"分支通常是Git仓库的主分支,包含了项目的最新稳定版本。 根据这些信息,我们可以推测这个项目可能是一个使用SWI-Prolog编写的自动化服务系统,可能利用了某种名为“Latte”的技术。这个系统可能用于自动...
plweb-www:plweb.git的子模块,其中包含(维基)网页
浏览:6
在Git版本控制系统中,master分支通常被视为主要的、稳定的分支,代表项目的最新、最稳定的状态。解压这个文件后,用户可能会找到如下的目录结构: 1. `README`或`README.md`:项目介绍和使用指南。 2. `index....
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:130
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:10
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
浏览:171
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:64
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
XCP协议的规范文档
浏览:123
5星 · 资源好评率100%
XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
评论
收藏
内容反馈
立即下载
开通VIP(低至0.43/天)
买1年送1年
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
fsdajlkl
粉丝: 2
资源:
8
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
技术资料分享SD卡读写规范很好的技术资料.zip
技术资料分享SD卡2.0协议很好的技术资料.zip
技术资料分享SDpartE1很好的技术资料.zip
技术资料分享SDpart3很好的技术资料.zip
技术资料分享SDpart2很好的技术资料.zip
技术资料分享SDpart1很好的技术资料.zip
技术资料分享sd-card-info很好的技术资料.zip
技术资料分享RVMDK介绍很好的技术资料.zip
技术资料分享RF产品设计经验很好的技术资料.zip
技术资料分享RDA5820很好的技术资料.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功