复合对象在程序中的说明,需分层进行。例如, 对于上面的谓词蕌 likes(" Tom", sports(football basketball, table tennis).ti 在程序中可说明如下:蕌 domains蕌 name= symbol晶 sy= symbol蕌 sp=sports(sy, sy, sy)tr predicates蕌 lkes (name, sp