令第三部分;:第11章sua| Prolog数据元素 11.1.1类型名 个类型名或者是一个接口名,或者是一个值论域的 名字。值论域这一术语用来指定元素不可变的论域。这里 可以说,属于与接囗名相一致的论域的对象具有可变的声 明,任意其它论域的项都是不可变的。因此,实际上数值 类型是除了对象类型以外的其它类型。一个类型名指示与 现有论域的名称相应的类型。 2004.11.3 A|程序设计第三部分：第11章 Visual Prolog数据元素 2004.11.3 AI程序设计 5 11.1.1 类型名 一个类型名或者是一个接口名，或者是一个值论域的 名字。值论域这一术语用来指定元素不可变的论域。这里 可以说，属于与接口名相一致的论域的对象具有可变的声 明，任意其它论域的项都是不可变的。因此，实际上数值 类型是除了对象类型以外的其它类型。一个类型名指示与 现有论域的名称相应的类型