Supposedly, the engine behind the iPhone's new Siri feature has been under development for several years (spawned from the CALO project). It is said that they even developed a new programming language specifically for it.
I can't find information about it anywhere. The only possible leads are academic papers, but I am not in an university network, so I don't have access to most of them.
Does anyone have any leads, examples, or even something vague as "it is similar to Prolog" or perhaps "it is a dialect of Lisp"?