unary predicate calculus 📖 中文释义 [计] 单谓词演算 ← unary operator U 字母词表 unary restricted zero-sided Lindenmayer system →