一、如何定义继承 二、如何声明超类和子类 三、用代码实现继承 四、测试继承的有效性 五、包的定义和使用

12.1项 12.2常量 12.3谓词 12.4子句 12.5事实 12.6评估 12.7程序段

14.1概述 14.2内部常量详解 14.3内部论域详解 14.4内部谓词详解

西安石油大学：《软件工程 Software Engineering》课程教学资源（分析与设计案例）面向对象（OO）会议管理系统案例

西安石油大学：《软件工程 Software Engineering》课程教学资源（分析与设计案例）医院病房监护系统案例（面向对象）

西安石油大学：《软件工程 Software Engineering》课程教学资源（分析与设计案例）面向对象方法例题——ATM网络系统

本附录是术语表（Glossary），提供Visual Prolog的关键术语，这些术语以其英文字母顺序给出

class predicates handleFileReadError:( exception: traceID ErrorCode) failure handle FileRead Error(ErrorCode) Descriptor exception: try GetDescriptor(ErrorCode, fileSystem_api: cannotcreate) i, file cannot be loaded

3.1命题逻辑 3.2阶谓词逻辑 3.3产生式系统 3.4专家系统

5.1设置文本的设备环境 5.2文本的输出过程 5.3文本操作实例