2013级人工智能作业

题目：用PROLOG完成以下系统的编写。

低纬度云是那些高度等于或低于6000英尺高的云，包括层云和层积云；中纬度云是高度在6000—20000英尺的云，包括高层云、高积云和乱层云；高纬度云是那些高于20000英尺的云，包括卷云、卷层云和卷积云。积云和积雨云可以从低到高纬度之间分布；层云、高层云、卷层云、积云和积雨云呈大圆锥状；层积云、高积云、乱层云、卷积云象平滑绵延的被单；卷云有纤细的外观，象一簇簇头发；乱层云和积雨云是含雨云，呈黑灰色。

要求：编写一个程序辨别云的类型，程序的输入是描述云特征的事实，输出为已辨别的云的类型。*写出一个运行实例（输入、输出）。