polish to clingo

Du polonais au Clingo

Programme Python pour transmettre des expressions logiques en notation polonaise à un fichier à traiter par l'outil Clingo. Pour ce faire, une réduction à la Forme Conjonctive Normale sera effectuée, comme expliqué dans la déclaration.

Énoncé de pratique

Utiliser

python polishToClingo.py <input_file>

Sortie

Il renverra le résultat dans un fichier du même nom que le fichier d'entrée avec son extension changée en ".lp", s'il n'a pas d'extension il est simplement ajouté. S'il existe un fichier portant le même nom, il sera écrasé.