polish to clingo
Version 1.0
Programa en Python para pasar expresiones lógicas en notación polaca a un fichero para ser procesado por la herramienta Clingo. Para ello, se realizará una reducción a Forma Normal Conjuntiva, como se explica en el enunciado.
Enunciado de la práctica
python polishToClingo.py <input_file>
Devolverá el resultado en un fichero con el mismo nombre que el del fichero de entrada con su extensión cambiada por ".lp", de no tener extensión simplemente se le añade. De existir un fichero con el mismo nombre se sobreescribirá.
