丁浩轩prolog教学实习报告.docVIP

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