Reasoning in Air Traffic Control Using Prolog

With the acceleration of aircrafts, the situation of air traffic becomes increasingly complex. So the next generation air traffic control system should be more intelligent and flexible to deal with the changing environment. Logic reasoning, as a very important part of Artificial Intelligent, should be taken into consideration seriously in the air traffic control field, since logic reasoning can not only implement the intelligence of the system but it can also make quick and accurate prediction. Additionally. prolog, as a logical programming language, is quite popular and powerful in implementing logic reasoning. So in this paper we propose to use prolog to reason various situations in the field of air traffic.