谓词Predicates)1

【文件属性】：

文件名称：谓词Predicates)1

文件大小：465KB

文件格式：PDF

更新时间：2022-08-03 13:52:33

数据库

例如，考虑以下两个谓词定义：谓词(Predicates)1 predicate isCountry(string country) {9 predicate h