polish to clingo
Version 1.0
Python program to pass logical expressions in Polish notation to a file to be processed by the Clingo tool. To do this, a reduction to Conjunctive Normal Form will be carried out, as explained in the statement.
Statement of practice
python polishToClingo.py <input_file>
It will return the result in a file with the same name as the input file with its extension changed to ".lp", if it does not have an extension it is simply added. If there is a file with the same name it will be overwritten.
