polish to clingo
Version 1.0
Python-Programm zur Übergabe logischer Ausdrücke in polnischer Notation an eine Datei zur Verarbeitung durch das Clingo-Tool. Dazu wird eine Reduktion auf die konjunktive Normalform durchgeführt, wie in der Stellungnahme erläutert.
Stellungnahme zur Praxis
python polishToClingo.py <input_file>
Das Ergebnis wird in einer Datei mit demselben Namen wie die Eingabedatei zurückgegeben, wobei die Erweiterung in „.lp“ geändert wurde. Wenn sie keine Erweiterung hat, wird sie einfach hinzugefügt. Wenn eine Datei mit demselben Namen vorhanden ist, wird diese überschrieben.
