用户 Laurent 对这个问题 [为什么逻辑编程没有流行起来?] 有一个有趣的回答:
如果你看看逻辑编程在空中交通管制领域的影响,我认为不能说逻辑编程没有流行起来。
出现一个问题:
prolog 在哪里用于道路交通控制系统?为什么在这样的环境中使用它而不是 C 或 Python 等语言?
这篇论文“大型 Prolog 知识库的商业应用”可能很有趣。另一种这样的读物是(免费提供,而不是前者需要 Springer-Verlag 会员资格)有限状态语法模型和空中交通管制员命令解析器。
Prolog 在实现专家系统时很有用。因此,如果您能想到一个对控制流量有用的专家系统,您可以使用 Prolog。我不是交通控制方面的专家,我相信这是一门非常有趣的科学(我相信任何坐在红绿灯前的司机都会告诉你:D),但我认为你可以创建这样一个专家系统可以根据随时间收集的统计数据控制交通信号灯时间和同步,汽车在一天中的不同时间通过交叉路口。
我不知道任何这样的实现系统,我只是说我认为 Prolog 可能有用的地方。