(人工智能导论实验指导.docVIP

人工智能导论实验指导书 实验一 实验名称：PROLOG 程序实验 实验日期：实际上机日期 参考资料：《人工智能导论实验指导书》 实验目的： 熟悉PROLOG的应用开发环境 了解PROLOG语言中常量、变量的表示方法 利用PROLOG进行事实库、规则库的编写 利用PROLOG解决递归问题 实验内容（步骤）： 启动SWI-Prolog 1. 事实库的建立： book table isbn title pages 1 the art of prolog 400 23 the mistery of strawberries 42 person table name statler waldorf Owns table person isbn waldorf 1 waldorf 23 statler 1 wrote table person isbn waldorf 23 statler 1 hate table person isbn statler 1  book(1,The art of Prolog,400). book(23,The mistery of Strawberries,42). person(Statler). person(Waldorf). wrote(Statler,1). wrote(Waldorf,23). hates(Statler,1). owns(Waldorf,23). assert(book(1,The Art of Prolog,400)). 2．查询知识库 ?- book(1,The Art of Prolog,400). Yes ?- book(23,The mistery of Strawberries,42). No ?- book(1,Title,Pages). Title = The Art of Prolog Pages = 400 3．知识库建立的另一种方法 将知识库保存为pl格式文件。如：D:\user\books.pl 使用命令载入知识库: ?- consult(d:/user/books.pl). Warning: (d:/user/books.pl:1): Redefined static procedure book/3 % books.pl compiled 0.01 sec, 1,004 bytes 4.?表示规则 brochure(ISBN):- book(ISBN,_,Pages), Pages 100. 尝试添加这条规则到books.pl 文件，并尝试查询: ?- brochure(Broch). 5递归问题 如?:求一个给定数的所有数字之和（如26 2+6=8） total = 0 while number9 do total = total + (number mod 10) number = number / 10 total = total + number % the simple case: if the number has only one digit % then this number is the sum of all digits count(Number,Number):- Number 10. % the recursive case: cut away the first digit, % let someone (=recursive call) add the rest, % and add your digit to that sum. count(Number,Sum):- Number = 10, Digit is mod(Number,10), NewNumber is Number // 10, count(NewNumber,TmpSum), Sum is TmpSum + Digit. 6．解决以下问题 （1）写一个查询检索所有的ISBN 号码。 （2）写一个查询检索所有作者并不喜欢他的著作的书名。 （3）写一个查询检索所有书名及其作者的名字。 （4）写一个谓词proud_author/1 ，返回拥有至少一本他们写的书的作者。 (5)写一个谓词count_even/2 ，输入一个数值，返回其中偶数数字的数目，如 count_even(248,A) - A = 3, count_even(249,A) - A = 2. (6) 写一个谓词alleven/1，输入一个数值，如果其中都是偶数，放回成功，否则返回失败。 参考答案： （1）?- book(ISBN