SICStus和 LPA Prolog 引述了一些听起来非常严肃的客户应用,例如:
Clarissa,一个由NASA Intelligent Systems Division开发的全语音操作的程序浏览器。
使用SICStus进行约束编程的基于Pyrosequencing序列分析仪的调度订单生成算法。
RedPrairie的物流应用。
来源:
SWI Prolog 声称每月有10,000次下载量,所以肯定有人在使用它。
如果您想了解更多相关的IT技术内容,您可以访问商业逻辑编程用户研讨会。
自20世纪80年代以来,我一直在从事Prolog的工业/商业应用程序。这些应用包括:自然语言应用(Lockheed),CASE(Knowledgeware),编译器(Quintus),呼叫中心应用(Quintus),事件管理(IBM DataHub,Tivoli),文本挖掘(Price Waterhouse,Kaidara),以及现在再次是事件管理(BMC Software)。
如果你有机会学习它,请务必学习。没有其他语言可以与之媲美。不幸的是,在它方面的工作像鸡牙一样稀少。如果你想要使用一种优秀的语言并且具有一定的吸引力,请考虑Scala。
Cyc项目使用的语言与Prolog非常相似,据他们所说,他们不使用Prolog的主要原因是它无法扩展到他们处理的数据库规模。
虽然这不是对你问题的直接回答,但我认为它可能会满足“Prolog是否真正用于系列问题”的想法。
更多信息: