实验一VisualProlog运行环境实验

实验一VisualProlog运行环境实验一、实验目的1、了解PROLOG解释器；2、掌握PROLOG语言中常量、变量的表示方法；3、掌握利用PROLOG进行事实库、规则库的编写方法。二、实验要求1、熟悉VisualProlog运行环境，包括硬件与软件环境；2、学习示例程序，分析其功能；3、写出Example1、Example2、Example3示例程序的功能；4、利用PROLOG进行事实库、规则库的编写，并在此基础上进行简单的询问。三、实验设备计算机，Visualprolog教学软件。四、实验内容及步骤（一）实验内容：1、熟悉Visualprolog的运行环境，包括所用的机器的硬件与软件环境；2、学习使用Visualprolog，包括进入Prolog主程序、编辑源程序、退出等基本操作；3、学习Visualprolog的简单程序结构，掌握分析问题、询问解释技巧；4、了解PROLOG语言中常量、变量的表示方法；5、利用PROLOG进行事实库、规则库的编写，并在此基础上进行简单的询问。（二）实验步骤：1、、安装VisualProlog集成开发环境；3、双击桌面图标或者找到VisualProlog可执行文件所在目录双击图标，启动Visualprolog集成开发环境；4、打开Project菜单，选择NewProject菜单项，将工作目录修改为你要保存到的文件夹，输入项目名称，选择“consoleapplication”。5、建立项目之后，单击Build/Build一下，出现如图所示对话框，单击取消按钮，6、编辑main.pro文件内容，运行Example1、Example2，分析程序功能；7、保存每个.Pro文件，保存工程。退出VisualProlog系统。五、源程序Example1：搜索表中所有的元素的过程。implementmainopencoreclasspredicatesmember:(integer,integer*)nondetermanyflow.member:(string,string*)nondetermanyflow.test:(string*)procedure(i).test:(integer*)procedure(i).clausesclassInfo(main,searchList).member(H,[H|X]):-stdio::write(\n\t[,H,|,X,]).member(H,[X|T]):-member(H,T),stdio::write(\t[,X,|,T,]).test(L):-stdio::write(\n,L,============),member(H,L),stdio::write(\n\t，H),failorsucced).run():-console::init(),L=[2,3,4,5],test(L),stdio::nl,S=[a,b,c],test(S),_=stdio::readline().endimplementmaingoalmainExe::run(main::run).Example2：求阶乘。运行后，我们输入一个数字，就得到一个阶乘结果，直至我们同时按下Ctrl键和右上角的Break键结束。classpredicatesfact:(integerN,integerRes)procedure(i,o).clausesclassinfo(facfun,1.0).fact(N,1):-N1,!.fact(N,N*F):-fact(N-1,F).run():-console::init(),X=stdio::read(),fact(X,F),stdio::write(控制台应用输出结果,输入数字=,X,其阶乘=,F),stdio::nl,!,run().run().%按Ctrl+Break结束endimplementmaingoalmainExe::run(main::run).六、实验报告要求实验报告应简单明了，语言通顺，结果正确，程序规范。实验报告的重点是实验结果的正确性与分析。包括：实验题目、要求、实验环境、实验内容与实验结果（要求附上运行的源程序）、实验中出现的问题、对问题的解决方案、实验总结等。