Siri programming language
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"?
Answer
In terms of the Siri work, the direct predecessor ( http://www.sri.com/about/siri-timeline.html), the Personalized Assistant that Learns (PAL) Program, did produce an "agent-based language/framework" SPARK (not to be confused with SPARK Ada). They have publicly available documentation on it http://www.ai.sri.com/~spark/, https://pal.sri.com/CALOfiles/cstore/PAL-publications/calo/2005/IntrotoSPARK.pdf, and http://www.ai.sri.com/pubs/files/1023.pdf (and an Eclipse plugin, apparently). This is very different from a general-purpose programming language. The "language" is more of a language in the sense that it models a specific formalism for planning and knowledge representation (think semantic web rather than programming language). The framework itself is hosted in Python and sometimes Java.