《逻辑程序设计语言及其实现技术》

第一章逻辑程序设计的基础知识1

1.1 逻辑程序的发展历史1

1.2 逻辑程序的理论基础2

1.3 逻辑程序设计范型与其它程序设计范型的比较7

参考文献9

第二章顺序逻辑程序设计语言Prolog及其应用12

2.1 Prolog语法12

2.2 Prolog解释机制19

2.3 Prolog程序设计25

参考文献38

第三章顺序Prolog抽象机WAM39

3.1 程序结构39

3.2 主要的数据空间和状态寄存器42

3.3 数据类型和存储格式43

3.4 抽象指令集45

3.5 编译方法51

参考文献64

第四章WAM的优化和扩充65

4.1 概述65

4.2 编译优化68

4.3 非逻辑成分的实现90

4.4 智能回溯99

参考文献104

第五章顺序推理机体系结构105

5.1 Prolog的性能评价105

5.2 在传统机上的实现108

5.3 Warren和Tick机器108

5.4 PSI机器109

5.5 PEK机器111

5.6 PLM机器112

5.7 采用RISC实现115

5.8 采用相联存储器的实现118

参考文献126

第六章逻辑程序设计和并行处理128

6.1 逻辑程序的搜索空间的表示128

6.2 逻辑程序的非确定性和并行性130

6.3 确定性和非确定性131

6.4 并行归结原理132

6.5 并行性的时间开销136

参考文献139

第七章全解逻辑程序设计语言并行处理技术140

7.1 抽象解释140

7.2 并行性识别方法158

7.3 并行执行模型及实现技术174

参考文献193

第八章并行逻辑程序设计语言197

8.1 PARLOG语言197

8.2 Concurrent Prolog语言212

8.3 GHC语言239

8.4 几种并行逻辑程序设计语言的比较247

参考文献253

第九章并行逻辑程序设计语言的实现技术255

9.1 PARLOG顺序实现技术255

9.2 PARLOG并行实现技术278

参考文献324

第十章并行推理机休系结构325

10.1 PGR机325

10.2 PIM机346

10.3 其它并行推理机356

参考文献362