hola no necesitas que el programador trabaje con el picbasicpro, el picbasicpro es el compilador y como producto final genera un archivo *.hex que es la informacion que se graba en el microcontrolador con la ayuda de un programador o grabador, el software de dicho grabador tiene capacidad para cargar archivos *.hex es decir que el sofware que utilisa el programador llamese winpic800, icprog, gpic usb, etc saben trabajar con los archivos *.hex producidos por cualquier compilador llamese picbasicpro, mplab, mikroc, etc
saludos