I left Cycorp in 2006. At that time various DARPA AI projects featured a number of different languages - mostly Java. Constraint Programming, NLP, Neural Nets. Machine vision is C, e.g. OpenCV. Speech Recognition & translation is C, e.g. Sphinx - Darpa Communicator.