Rename file extension from .pl to .pr

Use file extension .pro instead of .pl to avoid confusion with
perl and prolog.