表的说明方法是在其组成元素的说明符后加一个星号*。 如:蕌 domains蕌 lists= string*蕌 predicates蕌 pl( lists)潼 例如,谓词 p( Lname(" Liming"), age(20)])i 则需这样说明:蕌 domains rec=seg*蕌 seg=name(string); age(integer)HE predicates蕌 p(rec