46、逻辑编程与并发编程的探索

逻辑编程与并发编程的探索

1. 逻辑编程概述

逻辑编程起源于自动定理证明。在20世纪50年代初，Horn奠定了许多理论基础，到了60年代初，Robinson进一步发展了相关理论。70年代初，法国艾克斯 - 马赛大学的Colmeraurer和Roussel，以及苏格兰爱丁堡大学的Kowalski及其同事开发了Prolog的初始版本。

1.1 Prolog语言

Prolog最初用于自然语言处理研究，但很快被发现可作为通用语言。目前广泛使用的是爱丁堡方言，ISO标准与之类似。以下是几种与Prolog相关的逻辑语言：
| 语言名称 | 特点 |
| ---- | ---- |
| OPS5 | 较为广泛使用 |
| Gödel | 包含模块、强类型、更丰富的逻辑运算符以及对执行顺序的增强控制 |
| 源于Datalog的数据库查询语言 | 使用前向链进行实现 |
| CLP（约束逻辑编程）及其变体 | 主要基于Prolog，但采用更通用的约束满足机制代替合一 |

此外，逻辑编程有丰富的在线资源，可访问http://vl.fmnet.info/logic-prog/ ，还有comp.lang.prolog新闻组。

1.2 电子表格与声明式编程的思考

像Microsoft Excel、VisiCalc和Lotus 1 - 2 - 3这样的电子表格有时被视为声明式编程。这里有几个值得探讨的问题：
- 这种说法是否合理？
- 忽略如Visual Basic宏这样的扩展，单元格间定义关系的能力是否提供了图灵等价的计算能力？
- 与Prolog