polish to clingo

波兰语到 Clingo

Python 程序将波兰表示法的逻辑表达式传递到要由 Clingo 工具处理的文件。为此，将进行连接范式的简化，如声明中所解释的。

实践声明

使用

python polishToClingo.py <input_file>

出口

它将在与输入文件同名的文件中返回结果，并将其扩展名更改为“.lp”，如果它没有扩展名，则只需添加它即可。如果存在同名文件，则会被覆盖。