《Sicstus Prolog用户手册》---进行中

导言

致谢

1. 符号约定
1.1 键盘字符
1.2 模式规格
1.3 开发和运行系统
1.4 函数原型
1.5 符合ISO标准

2. 词汇

3. 如何运行Prolog
3.1 入门开始
3.2 读程序
3.3 在终端插入
3.4 查询和指令
3.5 语法错误
3.6 未定义的谓词
3.7 程序执行和中断
3.8 从顶层退出
3.9 嵌套处决歇
3.10 保存和恢复程序的状态
3.11 SICStus Prolog的IDE
3.12 Emacs的接口

4. Prolog语言
4.1 语法
4.2 语义
4.3 装载程序
4.4 保存和加载Prolog的数据库
4.5 文件和目录
4.6 输入和输出
4.7 算术
4.8 关注条款
4.9 程序状态的展望
4.10 使用内存和垃圾收集
4.11 模块
4.12 修改数据库
4.13 设置及袋一个目标：收集解决方案
4.14 语法规则
4.15 错误和异常
4.16 消息和查询
4.17 其他主题

5. 调试
5.1 过程框中控制流模型
5.2 基本调试谓词
5.3 平原Spypoints
5.4 调试信息的格式
5.5 在调试过程中的命令
5.6 高级调试 - 介绍
5.7 断点处理谓词
5.8 断点的处理
5.9 断点条件
5.10 在调试过程中的咨询
5.11 捕获异常
5.12 谓词摘要

6. 混合使用C/C++和Prolog
6.1 注??意事项
6.2 从Prolog调用C
6.3 从Prolog调用C++
6.4 支持功能
6.5 从C调用Prolog
6.6 SICStus流
6.7 独立的可执行文件
6.8 混合使用C和Prolog的例子
6.9 调试运行系统

7.NET和Java的接口

8. 在一个进程中的8的倍数SICStus运行时间
8.1 在Java 8.1多SICStus运行时间
8.2 多SICStus运行时间
8.3 国外资源和多个SICStus运行时间
8.4 多个运行时间和主题

9. 编写高效的程序
9.1 概述
9.2 执行分析
9.3 覆盖分析
9.4 “剪切”
9.5 索引
9.6 条的确定性检测
9.7 的确定性检查
9.8 最后调用优化
9.9 建筑及拆卸条款
9.10 条件和分离
9.11 编程的例子
9.12 交叉引用

10. Prolog库
10.1 一个针对数据库风格查询的聚合操作符（aggregate库）
10.2 关联列表（assoc库）
10.3 带属性的变量（atts库）
10.4 AVL树（AVL库）
10.5 包和多重集（bags库）
10.6 条款的外部存储（Berkeley DB）（BDB库）
10.7 生成整数（between库）
10.8 I/O的字符代码列表（codesio库）
10.9 访问文件和目录库（file_systems库）
10.10 堆操作（heaps库）
10.11 列表操作（lists库）
10.12 数组操作（logarr库）
10.13 对象包（objects库）
10.14 ODBC接口库（ODBC库）
10.15 有序集操作（ordsets库）
10.16 过程工具（process库）
10.17 队列操作（queues库）
10.18 随机数发生器（random库）
10.19 REM算法（REM库）
10.20 通用排序库（samsort库）
10.21 无序集操作（sets库）
10.22 套接字I/O（sockets库）
10.23 结构包（structs库）
10.24 操作系统工具（system库）
10.25 条目工具（terms库）
10.26 执行时间的有限元调用（timeout库）
10.27 可更新的二叉树（trees库）
10.28 类型检查（types库）
10.29 未加权图操作（ugraphs库）
10.30 逆numbervars/3（varnumbers库）
10.31 加权图操作库（wgraphs库）
10.32 解析和生成XML库（XML库）
10.33 进程通信（linda/[server,client]）
10.34 约束处理规则（chr库）
10.35 有限域的约束逻辑编程（clpfd库）
10.36 通过布尔库约束逻辑编程（clpb库）
10.37 有理数或实数的约束逻辑编程（[clpq,clpr]库）
10.38 有限域约束调试器（fdbg库）
10.39 Zinc接口（zinc库）
10.40 PiLLoW的Web编程库（pillow库）
10.41 Tcl/Tk界面（tcktk库）
10.42 Gauge分析工具（gauge库）
10.43 Jasper界面（jasper库）
10.44 PrologBeans接口（prologbeans库）
10.45 COM客户端（comclient库）
10.46 Plunit接口（plunit库）

11 Prolog的参考页
11.1 阅读参考页
11.2 局部列表Prolog的内置插件
11.3 内置谓词

12 C参考页
12.1 返回值和错误信息
12.2 C函数的局部列表
12.3 API函数

13 命令参考页
13.1 sicstus - SICStus Prolog语言开发系统
13.2 spdet - 确定性检查
13.3 SPLD - SICStus Prolog的应用程序生成器
13.4 splfr - SICStus Prolog的外部资源链接器
13.5 SPLM - SICStus Prolog的许可证管理器
13.6 spxref - 交叉引用

引用

谓词的索引

按键索引

本书索引