《人工智能》实验.docVIP

贵州大学 计算机科学与信息学院 实验报告 姓名 袁江 班级 计科111 课程名称 人工智能 学号 1108060105 日期 2014/11/12 指导教师 王以松 实验名称 Prolog编程环境 成绩(10分制)： 批改日期： 1. 实验名称 Prolog基本编程环境 2. 实验目的 通过Prolog环境下的编程，了解基于逻辑的问题求解理论。并熟悉一个具体的Prolog语言，特别是各种数据结构，及其开发环境和开发方法。通过具体的编程实践，掌握基本的prolog解决问题的方法。 3. 内容、原理 原理： Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。 内容： N-皇后问题：给定一个N，输出在N个皇后在N×N棋盘上的一种可行布局。 步骤： 1） 熟悉Prolog语言的基本规范； 2） 熟悉Prolog的基本数据结构 3） 熟悉Prolog解决问题的思路（链表和递归）。 4. 代码及结果 代码： goal :- read(N), queens(N,Qs), writeln(Qs), statistics. queens(N, Qs) :- range(1, N, Ns), queens(Ns, [], Qs). % place all the queens in UnplacedQs safely % (with already safely placed queens in SafeQs), % results in Qs queens(UnplacedQs, SafeQs, Qs) :- select(Q, UnplacedQs, UnplacedQs1), % choose a queen Q from UnplacedQs not_attack(Q, SafeQs), % Q does not attack any queen in SafeQs queens(UnplacedQs1, [Q|SafeQs], Qs). queens([], Qs, Qs). select(X, [X|Xs], Xs). % remove X from Y|Ys result in Y|Zs select(X, [Y|Ys], [Y|Zs]) :- select(X, Ys, Zs). not_attack(X, Xs) :- not_attack(X, Xs,1). not_attack(_,[],_). % X does not attack Y|Ys (in the distance N) not_attack(X,[Y|Ys],N):- X-Y=\=N, Y-X=\=N, N1 is N + 1, not_attack(X,Ys,N1). % generate the list [M,...,N], result in [M|Ns] range(M, N, [M|Ns]) :- M N, M1 is M + 1, range(M1, N, Ns). range(N, N, [N]). 结果如下图（6皇后）：