predicaten.[语]谓语；述语v.断定；意味；宣称；基于adj.谓语的predicate transformer谓词变换程序predicate abstraction谓词抽象predicateless sentence无谓语句Predicate transformers谓词转换器predicate filter model谓词过滤模型predicate optimization谓词优化predicatetransition net谓词变迁网predicate of first order一阶谓词predicate logic language谓词逻辑语言predicate transition net谓词变迁网