高中信息技术 浙教版选修五用Prolog求解简单问题.pptx

用Prolog求解简单问题,1,基本算术运算,加减、乘除是基本算术运算能不能用Prolog求解算术问题呢？答案是肯定的。TurboProlog不仅提供了加减乘除四种运算，还提供了取模运算。运算符号依次为+-*/和mod，我们可以利用这些运算符进行数值计算。例：从键盘输入两个整数，用X和Y表示，分别求出X+Y、X-Y、X*Y和X/Y的值。,程序如下：goalreadint(X),/*从键盘上读取一个整数，然后约束给变量X*/readint(Y),Z1=X+Y,/*求两个整数的和*/write(X,"+",Y,"=",Z1),nl,/*将所求的和显示在屏幕上*/Z2=X-Y,write(X,"-",Y,"=",Z1),nl,Z3=X*Y,write(X,"*",Y,"=",Z1),nl,Z4=X/Y,write(X,"/",Y,"=",Z1),nl.,在程序中，我们用到了内部谓词readint(X)，功能是从键盘上读取一个整数，然后约束给变量X。还有内部谓词write(X1,X2Xn)，功能是把Xi(i=1,2,n)的值显示在屏幕上。运行此程序，结果如图所示。,2,递归,1.递归的定义首先请大家分析下面的程序，这个程序的功能是什么？此程序的规则有什么特点？domainsC=charpredicatesread_one_char.goalread_one_char.clausesread_one_char:-readchar(C).write(C)read_one_char.,2.汉诺塔（Hanoi）问题求解（1）问题描述。相传古代东方有一座寺庙，庙内有三根座桩，第一根本桩上叠有一摞64个中心带孔、从上到下直径自小到大各不相同的圆盘片。这些圆盘片叠成塔状，即越上面的盘片直径越小。要把这64个盘片从第一根座桩搬到第三根座桩上（如图），搬动的规则如下：一次只能从有盘片的座桩上取走一个盘片；被取走的盘片必须马上放到某一根座桩上；任何一根座桩上如果有一个以上盘片，则这些盘片必须呈直径上小下大的塔状。向应如何搬动？,3,实践体验,1.实验名称：调入并运行Hanoi程序。2.实验要求：将Hanoi程序调入到TurboProlog2.0集成开发环境进行编译连接和运行程序。3.实验步骤：（1）在计算机上找到并运行TurboProlog2.0集成开发环境。（2）将Hanoi程序调入到编辑区（利用Load菜单项，在弹出对话框内输入“hanoi.pro”）。（3）编译和连接Hanoi程序。（4）运行Hanoi程序，并观察记录运行结果。4.结果呈现：改变Hanoi程序中盘子的数目，并记录运行结果。,5.实验评价：（1）填写下表。,THEEND,