...语言,它有这些需要的特征.谓词演算具有一 些被称为对象常量( object constant) ,关系常量( relation constants)和函数常量( f u ...