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

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

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

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

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

一、面向对象概念 二、String类 三、Math类 四、Integer类

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专家系统

1、构造函数； 2、析构函数；

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