令第三部分;:第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) 作为列表论域中的类型