令第三部分;:第11章sua| Prolog数据元素 11.1.2复合论域 举例 domains t1 = ffo gg(integer, t1) t1是一个带有两个选项的复合论域。第一个选项是空变元算符ff。 第二个选项是两个变元的算符gg,采用一个整型数论域和论域t1自身 作为参数。因此,论域t1是递归定义的。 以下表达式是论域t1的项: f gg(77,f() gg(33,gg(44,gg(55,ff()) 2004.11.3 A|程序设计 10第三部分：第11章 Visual Prolog数据元素 2004.11.3 AI程序设计 10 11.1.2 复合论域 举例 domains t1 = ff(); gg(integer, t1). t1是一个带有两个选项的复合论域。第一个选项是空变元算符ff。 第二个选项是两个变元的算符gg，采用一个整型数论域和论域t1自身 作为参数。因此，论域t1是递归定义的。 以下表达式是论域t1的项： ff() gg(77, ff()) gg(33, gg(44, gg(55, ff())))