一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。
General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.
一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
应用推荐