Given the requirements of logical programming, a trinary-tree knowledgerepresentation is proposed in this paper, and a framework of inference procedures based on the representation is given.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
2
General logic programming is an important knowledgerepresentation tool, and is an area of nonmonotonic reasoning.
一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。
3
Answer Set Programming (ASP) is now a mainstream tool for the representationof non-monotonic knowledge.