人第三部分;第10章 sual Prolog语言元素 10.1类型 Visua| Prolog的类型(Type)分为对象类型和数值类型。对象类型是可 变的,而数值类型是不可变的。 对象类型由接口( interface)进行定义。 数值类型包括:数值型、字符串型、字符型以及复合论域。复合论域也可 以看作代数类型数据。复合论域的简化形式是结构和枚举类型,而更多的复杂 形式是树型结构。 此外, Visua| Prolog还有一种特殊类型,叫做引用论域,它可以由任意其 它类型派生而来。引用类型与 Prolog执行模型或语义密切相关。在下面将详细 进行介绍。 2004.11.3 A|程序设计第三部分：第10章 Visual Prolog语言元素 2004.11.3 AI程序设计 3 10.1 类型 Visual Prolog的类型（Type）分为对象类型和数值类型。对象类型是可 变的，而数值类型是不可变的。 对象类型由接口（interface）进行定义。 数值类型包括：数值型、字符串型、字符型以及复合论域。复合论域也可 以看作代数类型数据。复合论域的简化形式是结构和枚举类型，而更多的复杂 形式是树型结构。 此外，Visual Prolog还有一种特殊类型，叫做引用论域，它可以由任意其 它类型派生而来。引用类型与Prolog执行模型或语义密切相关 。在下面将详细 进行介绍