天津农学院
计算机科学与信息工程系
《Prolog语言》 教学实习报告
实习名称： Prolog程序的设计与开发 专业班级： 09级软件工程1班 学 号： 0908054213 姓 名： 丁浩轩 指导教师： 马国强 成 绩：
2012年8月
1
目 录
1 开发内容 ................................... 1 2 开发目的 ................................... 1 3 程序设计介绍 ............................... 1
3.1 设计名称............................................................................................................ 1 3.2 设计目标............................................................................................................ 1 3.3 地图填色问题..................................................................................................... 1 3.4 画一棵树............................................................................................................ 6
4 总结与体会 ................................ 10
2
1 开发内容
解决两个问题，地图填色问题、用Prolog程序画出一棵树，通过实验进行验证并上机调试运行，写出实习报告。
2 开发目的
通过本次教学实习，加深对prolog软件的使用与应用，并熟悉prolog语言，将某些问题用prolog程序得以实现，体会该程序的独特之处。对所学专业知识进一步消化、理解并系统化，锻炼和提高综合运用所学知识解决实际问题的能力。
3 开发设计介绍
3.1 设计名称
Prolog程序的设计与开发 3.2 设计目标
书写代码并运行程序得出预期结果。 3.3 地图填色问题 3.3.1 概述
人人都熟悉地图，可是绘制一张普通的政区图，至少需要几种颜色，才能把相邻的政区或区域通过不同的颜色区分开来，就未必是一个简单的问题了。
这个地图着色问题，是一个著名的数学难题。大家不妨用一张中国政区图来试一试，无论从哪里开始着色，至少都要用上四种颜色，才能把所有省份都区别开来。所以，很早的时候就有数学家猜想：\任何地图的着色，只需四种颜色就足够了。\这就是\四色问题\这个名称的由来。
1
3.3.2 实验步骤
1.创建一个console控制台程序 2.建立之后，Bulid/Bulid一下 3.修改main.pro 3.3.3 Prolog代码
implement main open core,stdio domains
colors=bule;yellow;red;green. neighbors=nb(colors,colors). map=neighbors*. class predicates
aMap:(map) nondeterm anyFlow. test:(map) procedure anyFlow. generateColor:(colors) multi(o). clauses
classInfo(\
generateColor(R):- R=bule; R=yellow; R=green; R=red; aMap([]). aMap([X|Xs]):- X=nb(C1,C2), not(C1=C2), aMap(Xs).
class facts n:integer:=0
2
clauses test(L):- n:=0
generateColor(A), generateColor(B), generateColor(C), generateColor(D), generateColor(E), generateColor(F),
L=[nb(A,B),nb(A,C),nb(A,E),nb(A,F), nb(B,C),nb(B,D),nb(B,E),nb(B,F), nb(C,D),nb(C,F),nb(C,F)]. n:=n+1, aMap(L) ,! ;L=[]. run():-
console::init(), test(L),
stdio::write(\ _=stdio::readline(). end implement main goal
main Exe::run(main::run). 3.3.4 运行结果
3