第11章VisualProlog数据元素.pptVIP

AI程序设计 第11章 Visual Prolog数据元素 本章介绍Visual Prolog的数据元素，内容包括论域段（Domains Sections）、通用类型和根类型（Universal and Root Types）等。 第11章 Visual Prolog数据元素 11.1 论域段 11.2 通用类型和根类型 本章小结 本章习题 11.1 论域段 一个论域段在当前作用域内定义一组论域（参见接口、类声明和类实现）。 domainsSection : ??? domains domainDefinition-dot-term-list-opt 论域定义 一个论域定义，声明了一个当前作用域内已命名的论域。 domainDefinition : ??? domainName = typeExpression 如果在右边的论域表示一个接口或一个复合论域，那么所定义的论域就是类型表达式的同义词（即完全相同）。否则，所定义的论域称为类型表达式所指示的论域的子类。在这里，论域名domainName应当是小写标识符。 有些地方必须使用论域名而不