Software for INEX picarobot. Please Help!

Hello, I have a 10-year-old who just finished assembling an old INEX picarobot. I’m not sure what programming software is compatible and would be easy enough for him to learn. Any advice would be greatly appreciated! Thank you so much in advance!

To confirm:
image

Based on the description, it used the BX-877 microcontroller board is based on the PIC16F877-20MHz. “You can program the RBX-877 using PICBASIC PRO, Microcode Studio, Miracle PIC or other programming environments”. They also indicated you could use the “CAI software for learning to program the robot.”

This page seems to have additional information, as well as code under the Downloads tab:
http://www.inexglobal.com/products.php?pcode=8000130&type=educationalkit