sentence: contrasting karel the robot with karel + + syntax and methodology karel the robot , released in 1981 , contains syntax and methodology copied from pascal ; whereas karel + + provides a basis for the logistics of c++ and java .