第五章 Visual Prolog 7边练边学.pdf

Visual Prolog 7 边练边学 Contents Visual Prolog 7 边练边学 1 第一章 简介5 第1.1 节 创建一个新的GUI 程序5 第1.2 节 编译和运行你的程序6 第1.3 节 玩一把：把程序的显示标题改成我的名字8 第1.4 节 小结和说明9 第1.5 节 逻辑小知识：希腊人发明了逻辑 10 第二章 Forms 10 第2.1 节 创建一个新的Form 10 第2.2 节 让任务菜单的项目工作起来 12 第2.3 节 用Code Expert 添加程序 13 第2.4 节 小结和说明 15 第2.5 节 逻辑小知识：亚里士多德的符号逻辑 15 第三章 鼠标事件 16 第3.1 节 增加鼠标按下事件侦听器 16 第3.2 节 onPaint 绘图 18 第3.3 节 小结和说明20 第3.4 节 逻辑小知识：布尔代数21 第3.5 节 论证的形式21 第四章 基本图例22 第4.1 节 任务菜单22 第4.2 节 目录树23 第4.3 节 创建一个工程项目25 第4.4 节 创建一个新的class 27 第4.5 节 设置控件属性28 第4.6 节 小结和说明29 第4.7 节 逻辑小知识：谓词运算29 第五章 Horn 语句30 第5.1 节 函数30 第5.2 节 谓词30 第5.3 节 求解30 第5.4 节 答案不惟一34 第5.5 节 逻辑符号36 第5.6 节 Horn 句子36 第5.7 节 声明37 第5.8 节 绘图谓词38 第5.8 节 GDI 实体39 第5.9 节 小结和说明40 第5.10 节 逻辑小知识：Horn 句子的意义40 第六章 控制台应用41 第6.1 节 截断41 第6.2 节 表43 第6.3 节 表相关的几个话题48 第6.4 节 字符串操作52 第6.5 节 逻辑小知识：谓词的语法61 第七章 文本编辑器61 第7.1 节 建立文本编辑器程序61 第7.2 节 文件保存63 第7.3 节 文件调入64 第7.4 节 编辑器的改进66 第八章 绘图67 第8.1 节 onPainting 相关的话题67 第8.2 节 Custom Control 的应用72 第九章 数据类型75 第9.1 节 原始数据类型75 第9.2 节 集合76 第9.3 节 数字的集合76 第9.4 节 实数78 第9.5 节 格式78 第9.6 节 域79 第十章 如何用Prolog 解决问题84 第10.1 节 搜索一个表的所有元素84 第10.2 节 寻求两个表的交集表86 第10.3 节 两个表的合并87 第10.4 节 表的倒序排列88 第10.5 节 表的分割90 第10.6 节 表的快速排序91 第10.7 节 一年有多少天？92 第10.8 节 地图填色问题93 第10.9 节 翻子游戏97 第10.10 节 NIM 游戏98 第十一章 事实 106 第11.1 节 数据库记录的生成和保存 106 第11.2 节 数据库记录文件的读取 108 第11.3 节 file 模块:读写字符串readString/writeString 109 第11.4 节 常数 111 第十二章 class 和object 112 第12.1 节 存取社会保障号 112 第12.2 节 Object 的事实 114 第十三章 乌龟爬和语言处理 115 第13.1 节 乌龟爬行 115 第13.2 节 乌龟的状态描述 118 第13.3 节 画出其他的规则图形 119 第13.4 节 保证每次画出的是一样的图形 121