据推测，iPhone 新的 Siri 功能背后的引擎已经开发了好几年（源于 CALO 项目）。据说他们甚至专门为此开发了一种新的编程语言。

我找不到任何关于它的信息。唯一可能的线索是学术论文，但我不在大学网络中，所以我无法访问其中的大多数论文。

有没有人有任何线索、例子，甚至是一些模糊的信息，比如“它类似于 Prolog”或者“它是 Lisp 的一种方言”？

回答：

就 Siri 的工作而言，它的直接前身（http://www.sri.com/about/siri-timeline.html），即个性化学习助手（PAL）计划，确实产生了一种“基于代理的语言/框架”SPARK（不要与 SPARK Ada 混淆）。 他们有公开的文档 http://www.ai.sri.com/~spark/, https://pal.sri.com/CALOfiles/cstore/PAL-publications/calo/2005/IntrotoSPARK.pdf, 和 http://www.ai.sri.com/pubs/files/1023.pdf (显然还有一个 Eclipse 插件）。 这与通用的编程语言非常不同。 这里的“语言”更像是一种语言，因为它为规划和知识表示建模了一种特定的形式体系（可以理解为语义网而不是编程语言）。 该框架本身托管在 Python 和有时是 Java 中。