编程语言发展史之：逻辑编程语言_支持谓词逻辑的语言

作者：禅与计算机程序设计艺术

1.简介

逻辑编程（logical programming）是一种编程范式，旨在以一种逻辑的方式来表示程序，而不是像命令式编程一样直接面向计算模型或执行指令。逻辑编程倾向于通过构造计算机所理解的数学逻辑模型来解决问题。它特别适用于那些对数据结构和算法模型十分敏感的问题。与函数式编程相比，逻辑编程更加强调数据、关系和抽象等抽象概念之间的对应关系，因此更容易设计出正确而优雅的程序。因此，一些逻辑编程语言如Prolog，Erlang，Oz等也被认为是“函数式编程的终结者”[1]。

然而，逻辑编程并非只能用于解决实际问题，而是可以作为一种理论基础。一方面，逻辑编程语言的理论贡献主要来自于研究其中的抽象理论。另一方面，逻辑编程语言能够更好地帮助人们理解程序的运行方式，从而促进程序开发工作的改善[2]。因此，编写和维护逻辑编程语言工具也是很重要的。另外，很多逻辑编程语言的实现技术都比较先进，具有良好的扩展性。例如，Prolog语言的解释器能够快速响应并处理大规模的问题，同时还提供了可插拔的模块化机制。因此，有必要深入研究并开发这些语言，逐渐推动它们在软件开发领域的应用。

本文将围绕逻辑编程语言发展历史进行讨论，首先从逻辑编程语言最早的演变过程开始，看一下逻辑编程的起源以及为什么后来又出现了不同类型的逻辑编程语言。然后，介绍逻辑编程的基本概念和相关术语，详细阐述其中最重要的抽象概念——逻辑形式语言。最后，深入分析Prolog语言的具体实现技术，介绍Prolog语言的特性，指出Prolog语言对于软件开发的巨大影响，最后给出一些有关提升产品质量的建议。本文将有助于读者了解逻辑编程语言的发展历程、编程技巧、实用经验等。