6.1面向对象程序设计 6,2类声明 6.3类成员 6.4类与结构 6.5构造函数和析构函数 6.6常量 6.7字段 6.8运算符重载

一、类和封装 二、继承和多态

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

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