人工智能实验指导书 语言.docVIP

  1. 1、本文档共8页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第 PAGE \* Arabic 5 页 人工智能技术基础 实验指导书 人工智能课程组编写 北京交通大学电子信息工程学院 2015年4月 实验一 PROLOG语言编程练习 1 目的与要求 实验目的: 加强学生对逻辑程序运行机能的理解,使学生掌握PROLOG语言的特点、熟悉其编程环境,同时为后面的人工智能程序设计做好准备。 实验要求: (1)程序自选,但必须是描述某种逻辑关系的小程序。 (2)跟踪程序的运行过程,理解逻辑程序的特点。 (3)对原程序可作适当修改,以便熟悉程序的编辑、编译和调试过程。 2 实验内容或题目 实验题目:PROLOG语言编程练习 实验内容: 在Turbo PROLOG或Visual Prolog集成环境下调试运行简单的PROLOG程序,如描述亲属关系的PROLOG程序或其他小型演绎数据库程序等。 实验步骤与源程序 实验步骤: 启动Windows操作环境。 下载、安装Turbo PROLOG,了解它的运行模式及功能。 打开文件目录,执行prolog应用程序,启动Turbo prolog,并按空格键(SPACE)进入集成开发环境。 选择Setup项,打开下拉菜单,选择Directories项,进行工作目录修改,按Esc键退出,选择Save Configuration项,保存修改。 选择Files项,打开下拉菜单,选择New file项,进入源程序输入和编辑,或选择Load项,选择要打开的示例程序,再选择Edit项,可以进行编辑源程序。 编辑之后,可以选择Run项,执行程序,可以在Dialog窗口进行询问,即外部目标的执行,查看程序运行结果,分析程序之功能。 仿前例,可以选择其他程序并运行,分析程序功能。 退出,选择Quit项,可以退出Turbo Prolog程序,返回到Windows环境。 源程序: 验证题1: domains d=integer predicates not_(D,D) and_(D,D,D) or_(D,D,D) xor(D,D,D) clauses not_(1,0). not_(0,1). and_(0,0,0). and_(0,1,0). and_(1,0,0). and_(1,1,1). or_(0,0,0). or_(0,1,1). or_(1,0,1). or_(1,1,1). xor(Input1,Input2,Output):- not_(Input1,N1),/*(1,0)*/ not_(Input2,N2),/*(0,1)*/ and_(Input1,N2,N3), and_(Input2,N1,N4), or_(N3,N4,Output). 验证题2: predicates student(integer,string,real) grade goal grade. clauses student(1,zhang,90.2). student(2,li,95.5). student(3,wang,96.4). grade:-write(Please input name:),readln(Name), student(_,Name,Score), nl,write(Name,grade is,Score). grade:-write(Sorry,the student cannot find!). 验证题3: domains n,f=integer predicates factorial(n,f) goal readint(I), factorial(I,F), write(I,!=,F). clauses factorial(1,1). factorial(N,Res):- N0, N1=N-1, factorial(N1,FacN1), Res=N*FacN1. 验证题4: domains s=symbol predicates p(s) p1(s) p2(s) p3(s) p4(s) p5(s,s) p11(s) p12(s) p31(s) goal p(X),write(the x is ,X). clauses p(a1):-p1(b),p2(c). p(a2):-p1(b),p3(d),p4(e). p(a3):-p1(b),p5(f,g). p1(b):-p11(b1),p12(b2). p3(d):-p31(d1). p2(c1). p4(e1). p5(f,g). p11(b1). p12(b2). p31(d11). 验证题5: domains name=symbol a

文档评论(0)

ccccccxx + 关注
官方认证
文档贡献者

该用户很懒,什么也没介绍

认证主体临沂冉通信息技术有限公司
IP属地山东
统一社会信用代码/组织机构代码
91371300MA9576790T

1亿VIP精品文档

相关文档