令第三部分;:第11章sua| Prolog数据元素 11.1.2复合论域 如果一个复合论域包含一个算符选项,那么它被视为结构,并且具有与C语 言中的适当结构二进制兼容的表示法。 functor/ternative functorName functorName( formalArgument-comma-sep-list -opt 这里, functorName是一个算符选项的名称,它应当是小写标识符 Forma| Argument为: formalArgument typeName argument/ame-opt argumentName可以是任意标识符,编译器忽略它。复合论域是从它们派 生岀来的引用论域的子类,否则复合论域与任何其它论域都不具有这样的子类关 系。如果一个论域作为一个等价的复合论域进行定义,那么这两个论域是同义类 型而不是子类型。意思就是说它们是同一类型的两个不同名字。 2004.11.3 A|程序设计第三部分：第11章 Visual Prolog数据元素 2004.11.3 AI程序设计 9 11.1.2 复合论域 如果一个复合论域包含一个算符选项，那么它被视为结构，并且具有与C语 言中的适当结构二进制兼容的表示法。 functorAlternative: functorName functorName ( formalArgument-comma-sep-list-opt ) 这里， functorName是一个算符选项的名称，它应当是小写标识符。 FormalArgument为： formalArgument : typeName argumentName-opt argumentName可以是任意标识符，编译器忽略它。复合论域是从它们派 生出来的引用论域的子类，否则复合论域与任何其它论域都不具有这样的子类关 系。如果一个论域作为一个等价的复合论域进行定义，那么这两个论域是同义类 型而不是子类型。意思就是说它们是同一类型的两个不同名字