Rename Prolog to progra.py