摘要： 一般逻辑程序是知识表示的重要工具，也是非单调推理研完的领域之一。一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。本文对一般逻辑程序的证明论研究进行综述，涉及到基于各种模型论语义的证明过程，并且对各研究在语法约束、推理方式、正确性和完备性结论及实现的情况等各方面加以比较，最后给出了此问题进一步的一些研究方向。

关键词: 逻辑程序 证明论 非单调推理 知识表示 正确性 语义 完备性 模型论 证明过程 一般