谓词处理系统

predicate processing system