令第三部分;:第11章sua| Prolog数据元素 第11章Ⅵ /isual Prolog数据元素 本章介绍 Visual| Prolog的数据元素,内容包括论 域段( Domains sections)、通用类型和根类型 ( Universal and root types)等。 2004.11.3 A|程序设计
第三部分：第11章 Visual Prolog数据元素 2004.11.3 AI程序设计 1 第11章 Visual Prolog数据元素 本章介绍Visual Prolog的数据元素，内容包括论 域段（Domains Sections）、通用类型和根类型 （Universal and Root Types）等
令第三部分;:第11章sua| Prolog数据元素 第11章isua| Prolog数据元素 11.1论域段 11.2通用类型和根类型 本章小结 本章习题 2004.11.3 A|程序设计
第三部分：第11章 Visual Prolog数据元素 2004.11.3 AI程序设计 2 第11章 Visual Prolog数据元素 11.1 论域段 11.2 通用类型和根类型 本章小结 本章习题
令第三部分;:第11章sua| Prolog数据元素 11.1论域段 个论域段在当前作用域内定义一组论域(参见接口、类声明和类实现)。 domains section domains domain Definition-dot-term-list-opt 论域定义 个论域定义,声明了一个当前作用域内已命名的论域。 domainDefinition domainName typeExpression 如果在右边的论域表示一个接口或一个复合论域,那么所定义的论域就是类 型表达式的同义词(即完全相同)。否则,所定义的论域称为类型表达式所指 示的论域的子类。在这里,论域名 domain Name应当是小写标识符。 有些地方必须使用论域名而不是类型表达式: )作为形式变元类型的声明; 2)作为一个常量或一个事实变量的类型; 3)作为列表论域中的类型 2004.11.3 A|程序设计
第三部分：第11章 Visual Prolog数据元素 2004.11.3 AI程序设计 3 11.1 论域段 一个论域段在当前作用域内定义一组论域（参见接口、类声明和类实现）。 domainsSection : domains domainDefinition-dot-term-list-opt 论域定义 一个论域定义，声明了一个当前作用域内已命名的论域。 domainDefinition : domainName = typeExpression 如果在右边的论域表示一个接口或一个复合论域，那么所定义的论域就是类 型表达式的同义词（即完全相同）。否则，所定义的论域称为类型表达式所指 示的论域的子类。在这里，论域名domainName应当是小写标识符。 有些地方必须使用论域名而不是类型表达式： 1) 作为形式变元类型的声明； 2) 作为一个常量或一个事实变量的类型； 3) 作为列表论域中的类型
令第三部分;:第11章sua| Prolog数据元素 11.1论域段 类型表达式 个类型表达式指示一种类型。 typeExpression: typeName compoundDomain listDomain referenceDomain predicateDomain integralDomain realdomain 2004.11.3 A|程序设计
第三部分：第11章 Visual Prolog数据元素 2004.11.3 AI程序设计 4 11.1 论域段 类型表达式 一个类型表达式指示一种类型。 typeExpression: typeName compoundDomain listDomain referenceDomain predicateDomain integralDomain realDomain
令第三部分;:第11章sua| Prolog数据元素 11.1.1类型名 个类型名或者是一个接口名,或者是一个值论域的 名字。值论域这一术语用来指定元素不可变的论域。这里 可以说,属于与接囗名相一致的论域的对象具有可变的声 明,任意其它论域的项都是不可变的。因此,实际上数值 类型是除了对象类型以外的其它类型。一个类型名指示与 现有论域的名称相应的类型。 2004.11.3 A|程序设计
第三部分：第11章 Visual Prolog数据元素 2004.11.3 AI程序设计 5 11.1.1 类型名 一个类型名或者是一个接口名，或者是一个值论域的 名字。值论域这一术语用来指定元素不可变的论域。这里 可以说，属于与接口名相一致的论域的对象具有可变的声 明，任意其它论域的项都是不可变的。因此，实际上数值 类型是除了对象类型以外的其它类型。一个类型名指示与 现有论域的名称相应的类型