Where is Prolog used for traffic control systems?

The user Laurent had an interesting reply to the question [Why hasn’t logic programming caught on?]:

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.

A question arises:

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?

From stackoverflow

• This paper 'Commercial Applications of large Prolog Knowledge Bases' may be of interest. Another such read is (freely available as opposed to the former which requires Springer-Verlag membership) Finite State Grammatical Model and Parser for Air Traffic Controller's Commands.

  anon : the second paper you reference is entirely theoretical and I believe unpublished

• I don't think it is being used in air traffic control - the post you quoted from gave no such references. And it is certainly not being used in road traffic control systems because there are no road traffic oontrol systems - do you call a controller before you make a left turn in your car?

  Masi : The first paper says in dirkgently's reply that Prolog has been used to create systems "which create legal documents, assembly documents for jet aircraft, and work schedules in hospitals --" Perhaps, the writer meant something similar in his reply.

  anon : Thatb makes no sense - I see no mention of ATC.

  Masi : @Neil Butterworth Please, read the abstract. Why does it not make sense?

  Masi : air traffic control = ATC?

  Masi : and what actually does not make sense?

  dbr : "because there are no road traffic oontrol systems" erm, traffic lights?

  anon : ATC is a well known acronym for air traffic control, at least in the UK

  anon : traffic lights at least in the UK have no central control system comparable with ATC

  Masi : Depending on the definition of traffic control system, it can include signals, speed limits, different signs, design of roads, junctions, etc -- there is a great amount of engineering to be done. I am feeling that one could use Prolog there, hence the question.

  Pete Kirkham : Have you never seen the Italian Job? More seriously, motorway signs and variable speed limits are controlled as a system.

• Prolog is useful at implementing Expert Systems. So if you can think of an expert system useful in controlling traffic, you can use Prolog. I'm not an expert in traffic control and I'm sure it's a very interesting science(as I'm sure any driver sitting at a traffic light can tell you :D), but I think you can create such an expert system that can control traffic light times and synchronization based on statistical data collected over time, of cars passing through an intersection at different times of day.

  I have no ideea of any such implemented systems, I'm just saying where I think Prolog might be useful to use.

  Masi : +1 thank you for the key word :)

• Coming soon...

  http://www.adesproject.com