后续解析器计划和信息 应用程序的当前状态： 就目前情况而言，解析器已准备好进行探索。该应用程序允许用户在可逆规则和不可逆规则之间进行选择（基于规则），并探索通过应用这些规则从序列中创建的证明树。目前，我们不允许用户确切选择分解树的方式，但是将来可能会出现这种情况。 要开始使用该程序，请运行__main__.py。 要使用您自己的序列，请创建一个.txt文件，其中每行都有一个以分号分隔的前因列表（不带引号），并以逗号分隔的一系列结果之间有一个蛇形旋转门（|〜）（垂直线，波浪号）。要包括一阶命题，正