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

第 20卷 第 3期 小 型 微 型 计 算 机 系 统 Vo【20No 3 1999年 3月 M INI—M ICRo SYSTEM S M ar． 1999 ：oq-一2。 基于对象的逻辑设计实现复杂性 互璧盛 弋Pl1 (山东工业大学计算机科学技术粟 济南 Z50061) 摘 要 LCPP是作者研制 的逻辑与对象结夸的多范式语言．由于采用 了以对 象为基础、扩克对象的逻辑 索的进行，太太挺高了逻辑有哪些信誉好的足球投注网站实现的复杂性．奉文挺出井讨论了这一复杂性的表罂与解班的方连．． 姜分类羹号T多P31式1程序语言 醐 LcIl键ul 艘 ·、‘ 1 引 言 逻辑和面向对象程序设计范式以其各 自的特点已经分别获得了广泛的应用．但 由于实际问题 的复杂性 ，要求 同 时使用 多种范式的设计需求时常发生 这就导致了多范式程序语言的研究 逻辑和面 向对象结合的研究已经有很多 报告 ，这些大多是关于结合 的理论和方法的讨论 “’ “t且绝大多数是在逻辑范式上实现对象范式的 ．基于对象 范式的逻辑范式实现很少讨论，由此所引起的逻辑墨壁设计的复杂性问题则更少涉及 作者在研究工作中，设计实现了基于面向对象的逻辑和面商葡 丽 蔼 语言LCPP~．在面向对象的环 境下运行的谓词，与Prolog的谓词有着较大的差别，因而其运行机制 的实现 ，是面向对象和逻辑范式实现结台的关 键问题 由于结合方式上的特点 ，导致了逻辑程序设计实现上的复杂性．本文将具体说 明有关问题以及实现和解决 的方法 对于有关方面的进一步研究，这或许会有所帮助 本文 以下在说 明LCPP语言的特点后 ，指出了复杂性产生 的表现和原因，进而提 出了解决问题 的方法 ． 2 LCPP语言 的构成和特点 LCPP是以面 向对象为基础、扩充逻辑程序范式而产生的．具体做法是在面向对象的类 中增加逻辑特征 ，使对 象不仅具有属性和行为操作能力 ，还具有逻辑推理的能力．由此，形成了模块化的逻辑推理结构 所谓 “模块化”，是 指逻辑有哪些信誉好的足球投注网站子句集的局部化和分块性．与 Prolog不 同，LCPP中逻辑子句是按类或对象分割 了的．逻辑判定被看作 是通过对象、并在对象或类的状态和子句集的限定环境内的有哪些信誉好的足球投注网站．在类继承和多态概念下，谓词子句的有哪些信誉好的足球投注网站不但实 现 了局部化、结构化 ，也为复杂逻辑推理行为 的描述和管理控制 ，提供 了良好 的、结构化 的机制． 2．1 LCPP 中的谓词 LCPP的类和方法是～般 的面 向对象语言的扩充．方法分为成员函数和成员谓词两种 ．类 的基本结构如 ：c[ass 类名 ：基类说 明 ( ／／私有数据说 明部分 ；／／成员函数说 明部分 ；／／成员谓词说 明部分 ； LCPP谓词定义 的 结构如 ：predicate谓词名 (参数说 明){／／谓词定义 的规则子句说 明部分 ；／／谓词定义 的事实子句说 明部分 }； 其中，规则和事实说明形式类似于 Prolog语言的有条件和无条件子句．不同的是 ，LCPP谓词定义的规则体中，子 目 标可以是谓词 ．也可以是布尔 函数、关系或赋值表达式等形式 谓词同函数一样 ．在类 中也是成员方法 ．它可 被继 承或重载 谓词 的主要特征是 ：每个谓词都有原型定义 ，采用说明形式：predicateP(typeidl，type：id¨1_ ，type． id)；其 中．predicate是指示谓词说 明的关键字 ，P是待定义谓词 的标识名 ，type是第 i个参数 的类型、d是第 i个 299806船 收稿 本文的研究得到山东省 自然科学基金项 目 过程与逻辑多范式语言 的贷琦 万建成 ，l949年生 ．教授 ．主 要研 究领域为程序 设计语 言 r人工智能 ，自然语 言和 中支信息趾理 E-mai【：wanjob@dnis．sdutedu en 3期 万建成等：基于对象的逻辑设计实现复杂性 205 参数标识符．谓词体的定义类似于 Prolog语言中的请词定义．但采用的形式是P(常量，常量． ．．常 量)，或是具有形式 ：Head： Body ．．，