人工智能实验指导书--PROLOG语言.pdf

《 人工智能技术技术基础 》实验指导书 - 1 - 人工智能技术基础 实验指导书 张勇 编 电子学院运输自动化科研所 2011 年 4 月 《 人工智能技术技术基础 》实验指导书 - 2 - 实验一 PROLOG语言编程练习 1 目的与要求 实验目的： 加强学生对逻辑程序运行机能的理解， 使学生掌握 PROLOG语言的特点、 熟悉其编程环境， 同时 为后面的人工智能程序设计做好准备。 实验要求： （1）程序自选，但必须是描述某种逻辑关系的小程序。 （2 ）跟踪程序的运行过程，理解逻辑程序的特点。 （3 ）对原程序可作适当修改，以便熟悉程序的编辑、编译和调试过程。 2 实验内容或题目 实验题目： PROLOG语言编程练习 实验内容： 在 Turbo PROLOG或 Visual Prolog 集成环境下调试运行简单的 PROLOG程序，如描述亲属关系 的 PROLOG程序或其他小型演绎数据库程序等。 3 实验步骤与源程序 实验步骤： (1) 启动 Windows 操作环境。 (2) 下载、安装 Turbo PROLOG，了解它的运行模式及功能。 (3) 打开文件目录，执行 prolog 应用程序，启动 Turbo prolog ，并按空格键 (SPACE)进入集成 开发环境。 (4) 选择 Setup 项， 打开下拉菜单， 选择 Directories 项，进行工作目录修改， 按 Esc 键退出， 选择 Save Configuration 项，保存修改。 (5) 选择 Files 项，打开下拉菜单，选择 New file 项，进入源程序输入和编辑，或选择 Load 项，选择要打开的示例程序，再选择 Edit 项，可以进行编辑源程序。 (6) 编辑之后， 可以选择 Run 项，执行程序， 可以在 Dialog 窗口进行询问， 即外部目标的执行， 查看程序运行结果，分析程序之功能。 (7) 仿前例，可以选择其他程序并运行，分析程序功能。 (8) 退出，选择 Quit 项，可以退出 Turbo Prolog 程序，返回到 Windows 环境。 源程序： 验证题 1： domains d=integer predicates 《 人工智能技术技术基础 》实验指导书 - 3 - 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 st