Been ages since my last entry, why can't we add our robots yet!!
Been working in ada extensively and love it, I have never used a language so secure and solid. Ada is widely regarded as the most powerfull programming language ever. It resolves all of the problems of other languages such as c, c++ and java and up till now I can't fault it. It was the first object oriented language to become an ISO standard. Its applications in the robotics area are huge, it is already one of the main realtime systems languages, and gives un-matched compile time error checking facilities. It divides the comp sci community at my uni but its opponents are mainly lecturers who haven't tried to learn it, GIVE IT A CHANCE!
Recommended texts, Programming in Ada 95, John Barnes, Addison_Wesley ISBN 0-201-34293-6