这是一个关于人工智能的完整例子，应用于航空领域，prolog工具编写，内附代码和实验报告。-This is a complete example of artificial intelligence, used in aviation, prolog tool written report containing the code and experiment.