agr17/polish-to-clingo
Programa en Python para pasar expresiones de lógica en notación polaca a un fichero para ser procesado por la herramienta Clingo.
Python
No issues in this repository yet.
Programa en Python para pasar expresiones de lógica en notación polaca a un fichero para ser procesado por la herramienta Clingo.
Python
No issues in this repository yet.