基于对象的逻辑设计实现复杂性

ＬＣＰＰ是作者研制的逻辑与对象结合的多范式语言，由于采用以对象为基础、扩充对象的逻辑特征而实现结合，逻辑程序设计就继承了面向对象的继承性、多态性和动态约束的特性，加这对象集合中搜索的进行，大大提高了逻辑搜索实现的复杂性。本文提出并讨论了这一复杂性的表现与解决的方法。

THE COMPLEXITY OF OBJECT ORIENTED LOGIC PROGRAMMING

LCPP is a multi paradigm programming language. It is the combination of logic and object oriented programming, and is developed by the author. Because it is based on object oriented, and the logic paradigm is achieved by extending object methods, logic programming thus has inherited the properties of object inheritance and polymophism and dynamic binding. Combined with the logic search in object sets, the complexity of logic search has greatly enhanced. In this paper, the above issues and their resolving approaches are disscused.