[论文解读] The Logic Programming Paradigm and Prolog

Krzysztof R. Apt|ArXiv.org|Jul 10, 2001

Logic, programming, and type systems参考文献 5被引用 4

一句话总结

本教程介绍了逻辑编程范式以及作为基于一阶逻辑和自动推理的通用编程语言的Prolog。它解释了合一、回溯和逻辑变量如何使计算成为推理，同时强调了Prolog在声明式编程方面的优势及其在控制、类型和模块化方面的局限性，并呼吁开发更先进的后继语言，如Mercury。

ABSTRACT

This is a tutorial on logic programming and Prolog appropriate for a course on programming languages for students familiar with imperative programming.

研究动机与目标

• 为熟悉命令式编程的学生提供逻辑编程和Prolog的基础理解。
• 阐明从定理证明到计算的范式转变，通过合一和逻辑变量实现。
• 考察Prolog的设计选择，包括其使用回溯、剪枝（cut）和内置谓词，及其对程序正确性和可维护性的影响。
• 与命令式和函数式范式比较，评估Prolog的优势与局限性，并识别未来语言改进的领域。

提出的方法

• 以一阶逻辑作为定义逻辑程序和关系的形式基础。
• 解释合一作为核心计算机制，其中最一般合一（MGU）实现变量赋值。
• 描述归结过程和回溯作为纯逻辑编程中唯一的控制机制。
• 通过示例说明Prolog如何通过内置谓词（如算术、剪枝、条件表达式）和元编程机制扩展逻辑编程。
• 分析关键构造（如失败的否定、剪枝）的操作语义及其对程序行为的影响。
• 通过对照表将逻辑编程概念与命令式编程构造进行比较（例如，合一 ↔ 赋值，查询 ↔ 程序）。

实验结果

研究问题

• RQ1 逻辑编程如何通过一阶逻辑和合一实现‘计算即推理’？
• RQ2 在控制流和数据流方面，逻辑编程与命令式编程的主要区别是什么？
• RQ3 尽管源自定理证明和自然语言处理，为何Prolog仍被视为通用编程语言？
• RQ4 Prolog在实践中主要存在哪些局限性，特别是在控制、模块化和类型安全方面？
• RQ5 Prolog中的元编程和高阶编程与函数式和面向对象语言中的对应机制相比如何？

主要发现

• 合一是一阶逻辑编程中的核心计算机制，通过最一般合一实现变量的自动绑定。
• 回溯是纯逻辑编程中唯一的控制机制，这简化了模型，但限制了表达力和效率。
• Prolog的内置谓词（如剪枝、算术运算符、条件表达式）引入了过程式行为，使声明式语义变得复杂。
• ISO Prolog标准中缺乏模块和类型，阻碍了程序的结构化和重用，导致本可在编译时捕获的运行时错误。
• 尽管存在局限性，Prolog仍被广泛使用，因其优雅地融合了一阶逻辑与计算，且启发了Mercury和约束逻辑编程等后继语言。
• 尚未出现标准化的Prolog后继语言来解决其缺陷（如类型安全、模块化和形式化语义），这仍是编程语言设计领域的一个开放挑战。