谓词:解析评估和以文本表示谓词 源码

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