prolog file extension