polish to clingo

폴란드어-클링고

Clingo 도구에서 처리할 파일에 폴란드어 표기법의 논리 표현식을 전달하는 Python 프로그램입니다. 이를 위해 설명에 설명된 대로 결합 정규 형식으로의 축소가 수행됩니다.

실천 선언문

사용

python polishToClingo.py <input_file>

출구

확장자가 ".lp"로 변경된 입력 파일과 동일한 이름의 파일로 결과를 반환합니다. 확장자가 없으면 단순히 추가됩니다. 같은 이름의 파일이 있으면 덮어쓰게 됩니다.