第三部分:第13章编译单元 13.1.1接口的基本概念 个接口定义定义了一个命名的对象类型。接口可以支持 其它接口。详细内容参见支持限定 在接口中声明的所有谓词都是接口类型对象的对象成员。 接口也是一个全局作用域,在其中可以定义常量和论域。 这样,在一个接口中被定义的常量和论域不是该接口指示的 类型的一部分(或具有该类型的对象)。 这样的论域和常量可以通过限定接口名 interface: constant或使用开放限定由其它作用域引用 2004.113 A|程序设计第三部分：第13章 编译单元 2004.11.3 AI程序设计 5 13.1.1 接口的基本概念 一个接口定义定义了一个命名的对象类型。接口可以支持 其它接口。详细内容参见支持限定。 在接口中声明的所有谓词都是接口类型对象的对象成员。 接口也是一个全局作用域，在其中可以定义常量和论域。 这样，在一个接口中被定义的常量和论域不是该接口指示的 类型的一部分（或具有该类型的对象）。 这 样 的 论 域 和 常 量 可 以 通 过 限 定 接 口 名 interface::constant或使用开放限定由其它作用域引用