POOPL合成逻辑与面向对象的程序设计语言

为了描述知识信息处理系统,人们提出了许多新的程序设计风格,如逻辑程序设计风格、函数程序设计风格、面向规则程序设计风格、面向对象的程序设计风格。但是,没有一种程序设计风格能够完全满足知识信息处理的要求。于是,人们着手探讨合成许多风格的语言。本文论述了合成面向对象与逻辑程序设计两种风格的必要性与可能性以及有关的技术难题,并且简单地介绍了我们研制的合成面向对象与逻辑程序设计两种风格的知识程序设计语言POOPL。它继承了面向对象程序设计对知识库的组织能力和逻辑程序设计对知识的表达能力,并且严格地区别面向对象与逻辑程序设计的语义,以求最大限度地挖掘面向对象程序设计与逻辑程序设计的全部优越性。