当前位置: 首页 > 工具软件 > SWI-Prolog > 使用案例 >

《SWI-Prolog参考手册》---进行中

洪彬
2023-12-01
标题页

第一章 介绍
1.1 SWI-Prolog
1.2 状态
1.3 符合ISO标准
1.4 你是否想用SWI-Prolog呢?
1.5 XPCE GUI系统的Prolog
1.6 发行说明
1.7 捐赠的SWI- Prolog的项目
1.8 致谢

第二章 总览
2.1 快速入门
2.2 用户的初始化文件
2.3 初始化文件和目标
2.4 命令行选项
2.5 GNU Emacs界面
2.6 联机帮助
2.7 命令行的历史
2.8 顶级绑定重用
2.9 调试器的概述
2.10 汇编
2.11 环境控制(Prolog的标志)
2.12 概述钩谓词
2.13 自动加载的库
2.14 垃圾收集
2.15 语法说明
2.16 理性的树木(循环条件)
2.17 时间条索引
2.18 宽字符支持
2.19 系统限制
2.20 SWI - Prolog和64位的机器

第三章 初始化和管理Prolog的项目
3.1 项目的源文件
3.2 使用模块
3.3 测试编辑重装周期
3.4 使用内置的编辑器PceEmacs
3.5 图形化调试器
3.6 序言导航
3.7 交叉引用
3.8 从你的程序访问的IDE
3.9 IDE中的摘要

第四章 内置的谓词
4.1 符号,谓词说明
4.2 字符表示
4.3 载入Prolog的源文件
4.4 上市和编辑器界面
4.5 验证类型的一个名词
4.6 比较和统一条款
4.7 控制谓词
4.8 元呼叫谓词
4.9 符合ISO标准的异常处理
4.10 信号处理
4.11 DCG语法规则
4.12 数据库
4.13 声明谓词属性
4.14 检查程序
4.15 输入和输出
4.16 流的状态
4.17 原始字符I/O
4.18 定期阅读和写作
4.19 分析和构建条款
4.20 分析和构建原子
4.21 字符属性
4.22 表示文本字符串
4.23 操作符
4.24 字符转换
4.25 算术
4.26 杂项算术支持谓词
4.27 内置列表操作
4.28 找到所有解决方案的目标
4.29  FORALL
4.30 格式化写
4.31 终端控制
4.32 操作系统交互
4.33 文件系统交互
4.34 用户顶级操纵
4.35 创建一个用户交互的协议
4.36 调试和跟踪程序
4.37 获取运行统计数据
4.38 执行分析
4.39 内存管理
4.40 Windows的DDE接口
4.41 杂项

第五章 模块
5.1 为什么使用模块
5.2 定义模块
5.3 导入到一个模块中的谓词
5.4 定义元谓词
5.5 推翻模块的边界
5.6 从顶层模块的交互
5.7 从其他模块组成模块
5.8 运营商和模块
5.9 动态导入使用导入模块
5.10 保留模块和使用的“用户”模块
5.11 另一种方法的导入/导出接口
5.12 动态模块
5.13 透明谓词:定义和上下文模块
5.14 查询模块系统
5.15 模块系统的兼容性

第六章 特别变量和协同程序
6.1 属性变量
6.2 协同
6.3 全局变量

第七章 CHR:约束处理规则
7.1 简介
7.2 语法和语义
7.3 人权的SWI-Prolog的程序
7.4 调试
7.5 的例子
7.6 向后兼容性
7.7 编程技巧和窍门
7.8 编译器错误和警告

第八章 多线程应用程序
8.1 创建和销毁的Prolog线程
8.2 监控线程
8.3 线程通信
8.4 线程同步
8.5 线程支持库(threadutil)
8.6 无界的,线程创建
8.7 多线程混合的C和Prolog应用
8.8 多线程和XPCE图形系统

第九章 外语界面
9.1 接口概述
9.2 链接外交部模块
9.3 接口的数据类型
9.4 外部包含文件
9.5 连接的嵌入式应用,使用swipl-LD
9.6 序言“家”的目录
9.7 使用外部接口的范例
9.8 使用外部代码的注意事项

第十章 生成运行应用程序
10.1 QSAVE程序的限制
10.2 运行环境和外部代码
10.3 使用方案资源
10.4 查找应用程序文件

附录A SWI-Prolog库

附录B 黑客的角落

附录C 与其他Prolog的方言的兼容性

附录D 术语表

附录E SWI-Prolog的证书条件和工具

附录D 摘要
 类似资料: