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的关键术语，这些术语以其英文字母顺序给出

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文本操作实例

一、乘法算术运算 二、加法算术运算 三、减法算术运算

第1章人工智能概述 第2章知识表示方法 第3章AI编程基础

本章介绍 Visual Prolog的数据元素,内容包括论域段(Domains Sections)、通用类型和根类型(Universal and Root Types)等

一、while语句 二、for循环结构 三、do循环 四、continue关键字使用