prolog实验报告-周俊雯.doc

北邮人工智能实验报告 prolog 班级：2011211307 姓名：周俊霞 日期：2014-05-111、实验题目：用PROLOG完成以下系统的编写。給出代码和一个运行实例，辨别云的类型。低纬度云是那些高度等于或低于6000英尺高的云，包括层云和层积云；中纬度云是高度在600020000英尺的云，包括高层云、高积云和乱层云；高纬度云是那些高于20000英尺的云，包括卷云、卷层云和卷积云。积云和积雨云可以从低到高纬度之间分布；层云、高层云、卷层云、积云和积雨云呈大圆锥状；层积云、高积云、乱层云、卷积云象平滑绵延的被单；卷云有纤细的外观，象一簇簇头发；乱层云和积雨云是含雨云，呈黑灰色。2、实验要求： 编写一个程序辨别云的类型，程序的输入是描述云特征的事实，输出为已辨别的云的类型。*写出一个运行实例（输入、输出）。3、源代码：/*Copyright (c) My Company Project: CLOUD FileName: CLOUD3.PRO Purpose: No description Written by: Visual Prolog Comments:*/include cloud.incdomains Cloud_x,Type,Shape,Color,What = symbol Hight = integer facts % 云，有云的名字，高度，形状，颜色四个属性； cloud(Cloud_x,Hight,Shape,Color) predicates nondeterm is(Cloud_x,Type)clauses %此处为某个已知的云，有云的名字，高度，形状，颜色四个属性； cloud(cloud_lily,7000,big_cone,blackgray). %判断某云是否为云；如is(Cloud_x,cengyun)判断某云是否为层云 is(Cloud_x,cengyun):-cloud(Cloud_x,Hight,Shape,Color),Hight=6000,Shape=big_cone,Color=white. is(Cloud_x,cengjiyun):-cloud(Cloud_x,Hight,Shape,Color),Hight=6000,Hight=6000,Hight=6000,Hight20000,Shape=hair,Color=white. is(Cloud_x,juancengyun):-cloud(Cloud_x,Hight,Shape,Color),Hight20000,Shape=big_cone,Color=white. is(Cloud_x,juanjiyun):-cloud(Cloud_x,Hight,Shape,Color),Hight20000,Shape=sheets,Color=white.is(Cloud_x,jiyun):-cloud(Cloud_x,_,Shape,Color),Shape=big_cone,Color=white.is(Cloud_x,jiyuyun):-cloud(Cloud_x,_,big_cone,blackgray).goal write(input the name,hight(0200000),the shape(big_cone,or sheets,or hair),and the color(blackgray or white) of your cloud),nl, write(input the name),nl, readln(Cloud_x), write(name:,Cloud_x),nl, write(input the hight),nl, readint(Hight), write(hight:,Hight),nl, write(input the shape),nl, readln(Shape), write(shape:,Shape),nl, write(input the color),nl, readln(Color), write(color:,Color),nl, assertz(cloud(Cloud_x,Hight,Shape,Color), is(Cloud_x,What).4、运行实例：其中，云的名字，如 lily 高度如7000 形状如 big_cone 形状如 blackgray根据提示每次输入一个属性然后得到运行结果5、搜索规则：PROLOG自动搜索机制为满足一目标，从知识库顶起以遍历方式逐一匹配。如与一事实匹配成功，则将代换表作用于右邻；如与一规则左部匹配成功，则将代换表作用于