Removing .pro extension for prolog