university1.pro

很有用的东西 是关于大学分类识别的专家系统

university(minjiangxueyuan).
university(zhongyixueyuan).
university(fuzhoudaxue).
university(fujianshifandaxue).
university(yikedaxue).
university(gongchengxueyuan).
university(nonglindaxue).
university(xiamengdaxue).
university(xiamengligongdaxue).
university(jimeidaxue).
university(huaqiaodaxue).
university(quanzhoushifan).
university(zhangzhoushifan).
university(zhangzhoujishixueyuan).
university(longyanxueyuan).
university(longyanshifan).
university(sanmingxueyuan).
university(sanmingshifan).
university(wuyixueyuan).
university(nanpingshifan).
university(putianxueyuan).
university(putianshifan).

city(fuzhou).
city(xiameng).
city(zhangzhou).
city(quanzhou).
city(nanping).
city(putian).
city(longyan).
city(sanming).


atCity(minjiangxueyuan,fuzhou).
atCity(zhongyixueyuan,fuzhou).
atCity(fuzhoudaxue,fuzhou).
atCity(fujianshifandaxue,fuzhou).
atCity(yikedaxue,fuzhou).
atCity(zhongchengxueyuan,fuzhou).
atCity(nonglindaxue,fuzhou).
atCity(xiamengdaxue,xiameng).
atCity(xiamengligongdaxue,xiameng).
atCity(jimeidaxue,xiameng).
atCity(huaqiaodaxue,quanzhou).
atCity(quanzhoushifan,quanzhou).
atCity(zhangzhoushifan,zhangzhou).
atCity(zhangzhoujishixueyuan,zhangzhou).
atCity(longyanxueyuan,longyan).
atCity(longyanshifan,longyan).
atCity(sanmingxueyuan,sanming).
atCity(sanmingshifan,sanming).
atCity(wuyixueyuan,nanping).
atCity(nanpingshifan,nanping).
atCity(putianxueyuan,putian).
atCity(putianshifan,putian).

fuzhouUniversity(X):-university(X),atCity(X,City),city(City),City=fuzhou.
xiamengUniversity(X):-university(X),atCity(X,City),city(City),City=xiameng.
zhangzhouUniversity(X):-university(X),atCity(X,City),city(City),City=zhangzhou.
quanzhouUniversity(X):-university(X),atCity(X,City),city(City),City=quanzhou.
nanpingUniversity(X):-university(X),atCity(X,City),city(City),City=nanping.
putianUniversity(X):-university(X),atCity(X,City),city(City),City=putian.
longyanUniversity(X):-university(X),atCity(X,City),city(City),City=longyan.
sanmingUniversity(X):-university(X),atCity(X,City),city(City),City=sanming.
popularAtfuzhou(minjiangxueyuan).
popularAtfuzhou(fuzhoudaxue).
unpopularAtfuzhou(zhongyixueyuan).
unpopularAtfuzhou(gongchengxueyuan).
unpopularAtfuzhou(yikedaxue).
unpopularAtfuzhou(fujianshifandaxue).
unpopularAtfuzhou(nonglindaxue).
fuzhouPopularUniversity(X):-popularAtfuzhou(X),fuzhouUniversity(X).
fuzhouUsualUniversity(X):-unpopularAtfuzhou(X),fuzhouUniversity(X).
popularAtxiameng(xiamengdaxue).
unpopularAtxiameng(xiamengligongdaxue).
uppopularAtxiameng(jimeidaxue).
xiamengPopularUniversity(X):-popularAtxiameng(X),xiamengUniversity(X).
xiamengUsualUniversity(X):-unpopularAtxiameng(X),xiamengUniversity(X).
popularAtzhangzhou(zhangzhoushifan).
unpopularAtzhangzhou(zhangzhoujishixueyuan).
zhangzhouPopularUniversity(X):-popularAtzhangzhou(X),zhangzhouUniversity(X).
zhangzhouUsualUniversity(X):-unpopularAtzhangzhou(X),zhangzhouUniversity(X).
popularAtquanzhou(huaqiaodaxue).
unpopularAtquanzhou(quanzhoushifan).
quanzhouPopularUniversity(X):-popularAtquanzhou(X),quanzhouUniversity(X).
quanzhouUsualUniversity(X):-unpopularAtquanzhou(X),quanzhouUniversity(X).
popularAtlongyan(longyanxueyuan).
unpopularAtlongyan(longyanshifan).
longyanPopularUniversity(X):-popularAtlongyan(X),longyanUniversity(X).
longyanUsualUniversity(X):-unpopularAtlongyan(X),longyanUniversity(X).
popularAtsanming(sanmingxueyuan).
unpopularAtsanming(sanmingshifan).
sanmingPopularUniversity(X):-popularAtsanming(X),sanmingUniversity(X).
sanmingUsualUniversity(X):-unpopularAtsanming(X),sanmingUniversity(X).
popularAtputian(putianxueyuan).
unpopularAtputian(putianshifan).
putianPopularUniversity(X):-popularAtputian(X),putianUniversity(X).
putianUsualUniversity(X):-unpopularAtputian(X),putianUniversity(X).
popularAtnanping(wuyixueyuan).
unpopularAtnanping(nanpingshifan).
nanpingPopularUniversity(X):-popularAtnanping(X),nanpingUniversity(X).
nanpingUsualUniversity(X):-unpopularAtnanping(X),nanpingUniversity(X).
province(fujian).
cityAndProvince(fuzhou,fujian).
cityAndProvince(xiameng,fujian).
cityAndProvince(quanzhou,fujian).
cityAndProvince(zhangzhou,fujian).
cityAndProvince(longyan,fujian).
cityAndProvince(putian,fujian).
cityAndProvince(sanming,fujian).
cityAndProvince(nanping,fujian).
fujianUniversity(X):-university(X),atCity(X,City),cityAndProvince(City,Province),Province=fujian.
popularAtfujian(xiamengdaxue).
popularAtfujian(minjiangxueyuan).

fujianPopularUniversity(X):-popularAtfujian(X),fujianUniversity(X).
fujianUsualUniversity(X):-fuzhouUsualUniversity(X).
fujianUsualUniversity(X):-xiamengUsualUniversity(X).
fujianUsualUniversity(X):-zhangzhouUsualUniversity(X).
fujianUsualUniversity(X):-quanzhouUsualUniversity(X).
fujianUsualUniversity(X):-longyanUsualUniversity(X).
fujianUsualUniversity(X):-sanmingUsualUniversity(X).
fujianUsualUniversity(X):-putianUsualUniversity(X).
fujianUsualUniversity(X):-nanpingUsualUniversity(X).

university(zhejiangdaxue).
university(hangzhouzhiyejishuxueyuan).
university(wenzhoudaxue).
university(wenzhouzhiyejishuxueyuan).
university(shaoxingwenlixueyuan).
university(shaoxingshifan).
university(ningbodaxue).
university(ningboruodinghangdaxue).
university(taizhouxueyuan).
university(taizhouzhiyejishuxueyuan).
university(huzhoushifan).
university(huzhouzhiyejishuxueyuan).
university(jiaxingxueyuan).
university(jiaxingzhiyejishuxueyuan).
university(lishuixueyuan).
university(lishuizhiyejishuxueyuan).

city(hangzhou).
city(wenzhou).
city(shaoxing).
city(ningbo).
city(taizhou).
city(huzhou).
city(jiaxing).
city(lishui).

atCity(zhejiangdaxue,hangzhou).
atCity(hangzhouzhiyejishuxueyuan,hangzhou).
atCity(wenzhoudaxue,wenzhou).
atCity(wenzhouzhiyejishuxueyuan,wenzhou).
atCity(shaoxingwenlixueyuan,shaoxing).
atCity(shaoxingshifan,shaoxing).
atCity(ningbodaxue,ningbo).
atCity(ningboruodinghangdaxue,ningbo).
atCity(taizhouxueyuan,taizhou).
atCity(taizhouzhiyejishuxueyuan,taizhou).
atCity(huzhoushifan,huzhou).
atCity(huzhouzhiyejishuxueyuan,huzhou).
atCity(jiaxingxueyuan,jiaxing).
atCity(jiaxingzhiyejishuxueyuan,jiaxing).
atCity(lishuixueyuan,lishui).
atCity(lishuizhiyejishuxueyuan,lishui).

hangzhouUniversity(X):-university(X),atCity(X,City),city(City),City=hangzhou.
wenzhouUniversity(X):-university(X),atCity(X,City),city(City),City=wenzhou.
shaoxingUniversity(X):-university(X),atCity(X,City),city(City),City=shaoxing.
ningboUniversity(X):-university(X),atCity(X,City),city(City),City=ningbo.
taizhouUniversity(X):-university(X),atCity(X,City),city(City),City=taizhou.
huzhouUniversity(X):-university(X),atCity(X,City),city(City),City=huzhou.
jiaxingUniversity(X):-university(X),atCity(X,City),city(City),City=jiaxing.
lishuiUniversity(X):-university(X),atCity(X,City),city(City),City=lishui.

province(zhejiang).
cityAndProvince(hangzhou,zhejiang).
cityAndProvince(wenzhou,zhejiang).
cityAndProvince(shaoxing,zhejiang).
cityAndProvince(ningbo,zhejiang).
cityAndProvince(taizhou,zhejiang).
cityAndProvince(huzhou,zhejiang).
cityAndProvince(jiaxing,zhejiang).
cityAndProvince(lishui,zhejiang).

popularAthangzhou(zhejiangdaxue).
unpopularAthangzhou(hangzhouzhiyejishuxueyuan).
hangzhouPopularUniversity(X):-popularAthangzhou(X),hangzhouUniversity(X).
hangzhouUsualUniversity(X):-unpopularAthangzhou(X),hangzhouUniversity(X).
popularAtwenzhou(wenzhoudaxue).
unpopularAtwenzhou(wenzhouzhiyejishuxueyuan).
wenzhouPopularUniversity(X):-popularAtwenzhou(X),wenzhouUniversity(X).
wenzhouUsualUniversity(X):-unpopularAtwenzhou(X),wenzhouUniversity(X).
popularAtshaoxing(shaoxingwenlixueyuan).
unpopularAtshaoxing(shaoxingshifan).
shaoxingPopularUniversity(X):-popularAtshaoxing(X),shaoxingUniversity(X).
shaoxingUsualUniversity(X):-unpopularAtshaoxing(X),shaoxingUniversity(X).
popularAtningbo(ningbodaxue).
unpopularAtningbo(ningboruodinghangdaxue).
ningboPopularUniversity(X):-popularAtningbo(X),ningboUniversity(X).
ningboUsualUniversity(X):-unpopularAtningbo(X),ningboUniversity(X).
popularAttaizhou(taizhouxueyuan).
unpopularAttaizhou(taizhouzhiyejishuxueyuan).
taizhouPopularUniversity(X):-popularAttaizhou(X),taizhouUniversity(X).
taizhouUsualUniversity(X):-unpopularAttaizhou(X),taizhouUniversity(X).
popularAthuzhou(huzhoushifan).
unpopularAthuzhou(huzhouzhiyejishuxueyuan).
huzhouPopularUniversity(X):-popularAthuzhou(X),huzhouUniversity(X).
huzhouUsualUniversity(X):-unpopularAthuzhou(X),huzhouUniversity(X).
popularAtjiaxing(jiaxingxueyuan).
unpopularAtjiaxing(jiaxingzhiyejishuxueyuan).
jiaxingPopularUniversity(X):-popularAtjiaxing(X),jiaxingUniversity(X).
jiaxingUsualUniversity(X):-unpopularAtjiaxing(X),jiaxingUniversity(X).
popularAtlishui(lishuixueyuan).
unpopularAtlishui(lishuizhiyejishuxueyuan).
lishuiPopularUniversity(X):-popularAtlishui(X),lishuiUniversity(X).
lishuiUsualUniversity(X):-unpopularAtlishui(X),lishuiUniversity(X).


zhejiangUniversity(X):-university(X),atCity(X,City),cityAndProvince(City,Province),Province=zhejiang.
popularAtzhejiang(zhejiangdaxue).
popularAtzhejiang(ningbodaxue).

zhejiangPopularUniversity(X):-popularAtzhejiang(X),zhejiangUniversity(X).
zhejiangUsualUniversity(X):-hangzhouUsualUniversity(X).
zhejiangUsualUniversity(X):-wenzhouUsualUniversity(X).
zhejiangUsualUniversity(X):-shaoxingUsualUniversity(X).
zhejiangUsualUniversity(X):-ningboUsualUniversity(X).
zhejiangUsualUniversity(X):-taizhouUsualUniversity(X).
zhejiangUsualUniversity(X):-huzhouUsualUniversity(X).
zhejiangUsualUniversity(X):-jiaxingUsualUniversity(X).
zhejiangUsualUniversity(X):-lishuiUsualUniversity(X).

country(china).
provinceAndCountry(fujiang,china).
provinceAndCountry(zhejiang,china).
chinaUniversity(X):-zhejiangUniversity(X).
chinaUniversity(X):-fujianUniversity(X).
popularAtchina(zhejiangdaxue).
popularAtchina(xiamengdaxue).
popularAtchina(minjiangxueyuan).
chinaPopularUniversity(X):-popularAtchina(X),chinaUniversity(X).
chinaUsualUniversity(X):-fujianUsualUniversity(X).
chinaUsualUniversity(X):-zhejiangUsualUniversity(X).