我无法在任何地方找到相关信息。唯一可能的线索是学术论文，但我不在大学网络中，因此我无法访问其中大部分。
有没有人有任何线索，例子，甚至模糊的东西，“它与Prolog相似”或者“它是Lisp的方言”？
答案 0 :(得分：15)
就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中。
答案 1 :(得分：4)
Siri为API网络开发了一种新的编程语言和GUI。 这是巨大的，虽然它太糟糕了，它太早，如此隐藏。
该博客文章中有一段视频显示该网站的所有者采访了Siri的两位重要人物，他们讨论了您的问题以及更多内容。