逻辑解析器
一个用于解析形式逻辑表达式的 Swift 库