中文摘要：

Nilsson教授首先提出了代数格应用于概念知识表示的思想．其优点在于知识表示的代数特性和图示特性，在此基础上．表文把代数格与PROLOG相结合．定义了一种基于概念的逻辑编程语言．其语言具有比PROLOG更抽象、更方便的编程风格．此外．给出了该逻辑编程语言的匹配算法．

英文摘要：

Prof. Nilsson firstly propose a notion which algebraic lattice is applied to conceptual representation, its benefits are due to the algebraic and graphic properties of knowledge representation. Based on it. this paper defines a concept based logic programming language, combining algebraic lattice and PROLOG, making it more abstract and convenient than PROLOG. In addition, it gives how this language implements the unification of conceptual knowledge,