2024年prolog实验报告书.docVIP

华北電力大學

实验报告

|

|

试验名称PROLOG語言编程练习及图有哪些信誉好的足球投注网站問題求解

課程名称人工智能及应用

专业班级：學生姓名：

學号：成绩：

指导教師：试验曰期：5月

（试验汇报如打印，紙张用A4，左装订；页边距：上下2.5cm,左2.9cm,右2.1cm；字体：宋体小四号，1.25倍行距。）

验证性、综合性试验汇报应含的重要内容：

壹、试验目的及规定

二、所用仪器、设备

三、试验原理

四、试验措施与环节

五、试验成果与数据处理

六、讨论与結论（對试验現象、试验故障及处理措施、试验中存在的問題等進行分析和讨论，對试验的深入想法或改善意見）

七、所附试验输出的成果或数据

设计性试验汇报应含的重要内容：

壹、设计规定

二、选择的方案

三、所用仪器、设备

四、试验措施与环节

五、试验成果与数据处理

六、結论（根据“设计规定”）

七、所附试验输出的成果或数据

壹、试验目的及规定

熟悉PROLOG的运行环境，進行PROLOG的基本编程练习。

理解PROLOG語言中常量、变量的表达措施。PROLOG的简朴程序构造，掌握分析問題、問询解释技巧；進行事实库、规则库的编写，并在此基础上進行简朴的問询。

详细试验課上有关内容，练习example1到example6的内容。

图有哪些信誉好的足球投注网站問題求解。

任选如下实际应用題目：愛因斯坦的超级問題、字谜問題、汉诺塔問題、八数码問題、八皇後問題、农夫過河問題、传教士野人問題等，选两個。

规定试验汇报中包括：程序分析、运行成果、试验收获、难點重點分析等。

二、所用仪器、设备

PC机和trincprolog编译软件。

三、试验原理

PROLOG語言是壹种以逻辑推理為基础的逻辑型程序设计語言，是壹种陈說性語言而不是過程性語言。PROLOG語言可以自動实現模式匹配和回溯、具有递归技术，并且語法简要，可以简化复杂問題求解。

1、prolog自身自带推理机，其回溯、递归技术和表处理技术可简化复杂問題求解。

2、trinicprolog的跟踪、设断點對于调试程序是非常有用的。

四、试验措施与环节

阐明用实例怎样观测并理解回溯机制

回溯机制所谓回溯,就是在程序运行期间,當某壹种子目的不能满足(即谓詞匹配失败)時,控制就返回到前壹种已經满足的子目的(假如存在的话),并撤销其有关变量的约束值,然後再使其重新满足。成功後,再继续满足原子目的。假如失败的子目的前再無子目的,则控制就返回到该子目的的上壹级目的(即该子目的谓詞所在规则的頭部)使它重新匹配。回溯是PROLOG的壹种重要机制。

例如：农夫過河問題的move(...)，其對应有四個子目的。當某個子目的不成立時，就會回溯到前壹种子目的，撤销原约束值，然後重新合壹。

怎样用断點、跟踪以及显示调试prolog程序

将鼠標移動至語句之前單击便打入了断點。编译了後来，假如點“Prove”這個按钮，则程序运行到断处。

點“Traceon”這個按钮便進入單步运行状态，即跟踪状态。點击“Startstep”開始單步运行程序。

懂得了怎样單步运行与打断點，很轻易就可以對prolog程序進行调试。

注：阐明试验的操作過程。

五、求解的問題与程序

注：阐明所选择试验題目，問題分析過程和程序难點分析等。

1．险洞探险問題：

Treasure-route代码：

go(Start,Goal):-

route(Start,Goal,[Start],VisitedL),

reverse(VisitedL,[],RVisitedL),

write(Onerouteis:),

write(RVisitedL),nl,nl,

fail.

go(_,_).

neighbor(X,Y):-

gallery(X,Y).

neighbor(X,Y):-

gallery(Y,X).

gallery(entry,fountain).

gallery(entry,monsters).

gallery(monsters,goldtreasure).

gallery(goldtreasure,food).

gallery(food,fountain).

gallery(goldtreasure,robbers).

gallery(goldtreasure,exit).

gallery(fountain,mermaid).

gallery(fountain,robbers).

gallery(mermaid,exit).

gallery(hell,fountain).

gal