令第三部分;:第11章sua| Prolog数据元素 11.1.2复合论域 举例 domains t1 = ffo; gg(t2) t2=h(t1,t1) t1是一个带有两个选项的复合论域。第一个选项是空变元算符ff第二个选 项是一元算符gg,采用论域t2的项作为参数。t2是一个带有一个选项算符h 的复合论域,算符hh采用两个t1项作为参数。因此,论域t1和t2是相互递归的。 以下表达式是论域t1的项: ff o gg(hh(ffo, ffo gg(hh(gg(hh(ffo, ff)), ff) gg(hh(ffo, gg(hh(ffo, ff) gg(hh(gg(hh(ffo, ff)), gg(hh(ffo, ffO) 2004.11.3 A|程序设计第三部分：第11章 Visual Prolog数据元素 2004.11.3 AI程序设计 11 11.1.2 复合论域 举例 domains t1 = ff(); gg(t2). t2 = hh(t1, t1). t1是一个带有两个选项的复合论域。第一个选项是空变元算符ff。第二个选 项是一元算符gg，采用论域t2的项作为参数。t2是一个带有一个选项算符hh 的复合论域，算符hh采用两个t1项作为参数。因此，论域t1和t2是相互递归的。 以下表达式是论域t1的项： ff () gg (hh(ff(), ff())) gg (hh(gg(hh(ff(), ff())), ff())) gg (hh(ff(),gg(hh(ff(), ff())))) gg (hh(gg(hh(ff(), ff())), gg(hh(ff(), ff()))))