prolog - Prolog 用于交通控制系统的哪些地方？

Question

用户 Laurent 对“为什么逻辑编程没有流行起来？”这个问题做出了有趣的回答:

If you look at the influence logic-programming has had in the field of -- air traffic control -- I don't think it can be said logic-programming has not caught on.

出现一个问题:

Where is prolog used for traffic control systems on the roads? Why is it used instead of languages, such as C or Python, in such environments?

Answer 1

Prolog 在实现 Expert Systems 时很有用。因此，如果您能想到一个可用于控制流量的专家系统，您可以使用 Prolog。我不是交通控制方面的专家，我确​​信这是一门非常有趣的科学(因为我确信任何坐在红绿灯前的司机都可以告诉你:D)，但我认为你可以创建这样一个专家系统可以根据随时间收集的车辆在一天中不同时间通过十字路口的统计数据来控制交通灯时间和同步。

我不知道任何此类实现的系统，我只是说我认为 Prolog 可能有用的地方。