谓词 谓词是一个简单的库，用于解析，评估和以文本形式表示谓词（布尔函数）。 安装 git clone gitgithub.com:lamg/predicate.git cd predicate/cmd/reduce && go install 例 下表显示了reduce如何工作的一些示例。 由于可以使用Vim的多字节输入法（例如：Ck OR写入∨），然后使用可视模式将选定的文本通过管道传递给reduce命令，或者仅将谓词存储在其中，因此使用标准的输入和输出将使键入布尔运算符更加容易。文件，然后