第一章 绪论 1
1.1 课堂教学使用计算机方法的选择 1
1.2 计算机辅助教学及现状 3
1.3 人工智能 5
第二章 逻辑程序设计语言PROLOG 9
2.1 为什么要用逻辑进行程序设计 9
2.2 PROLOG导论及应用范围 11
2.3 Micro-PROLOG语言在课堂教学中的作用和意义 15
2.4 研究PROLOG的方法 16
第三章 教材 17
3.1 简单语句与询问 17
3.2 规则 58
3.3 表 92
3.4 递归 120
3.5 否定与非二元的关系 146
3.6 表的使用 154
第四章 《逻辑：学生们的一种计算机语言》 154
4.1 课题说明 165
4.2 第一个实验班的实施情况 166
4.3 教学试验：首届两个试点班的比较 171
4.4 困难之处 172
4.5 逻辑教学与PROLOG语言的教学 174
4.6 与LOGO的特点比较 174
第五章 贯穿各课程的逻辑 176
5.1 用以表达知识的逻辑 176
5.2 信息技术 177
5.3 数学 181
5.4 历史模拟 185
5.5 信息检索 191
5.6 法语 196
5.7 自然科学 197
第六章 PROLOG再论 200
6.1 逻辑思维与课程的变化 200
6.2 交互式PROLOG 201
6.3 专家系统 203
6.4 效率与规则性 205
6.5 大数据库 208
6.6 第五代计算机 209
附录1 SimplePROLOG：指令的用法 212
附录2 习题答案 218
译后记 269