Conceptual Representation and Reasoning
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.