当前位置:首页 > 工业技术
TURBO PROLOG实用指南 IBM-PC 1520 系统
TURBO PROLOG实用指南 IBM-PC 1520 系统

TURBO PROLOG实用指南 IBM-PC 1520 系统PDF电子书下载

工业技术

  • 电子书积分:13 积分如何计算积分?
  • 作 者:邱建设编著
  • 出 版 社:武汉:武汉工业大学出版社
  • 出版年份:1990
  • ISBN:7562903689
  • 页数:376 页
图书介绍:
《TURBO PROLOG实用指南 IBM-PC 1520 系统》目录

目 录 1

前言 1

第一篇 基 础 1

第1章什么是Prolog 1

1.1从prolog到TURBO Prolog 1

1.2系统盘的内容 2

1.3阅读本书前应注意的事项 5

第2章安装 7

2.1制作工作磁盘 7

2.2进一步用MS-DOS 9

第3章运行Prolog 12

3.1启动prolog 12

3.2安装是简单的 14

3.3编辑方法灵活 19

3.4取出文本 23

3.5准备结束 25

第4章无论如何先运行一下 27

4.1谁和谁旅行 27

4.2数据库也很简单 31

4.3 A=B和B=A相同(?) 33

4.4用TURBO Prolog约会 35

4.5父亲的父亲是祖父 39

第5章熟能生巧 43

5.1迈向实用程序的第一步 43

5.2 domains可省略 45

5.3也可按要求表示文字 49

5.4将目标理顺 52

5.5自己调用自己 56

5.6还要掌握Prolog的表 58

第6章合一,回溯,截断 62

6.1先确定一下 62

6.2 Prolog的回溯技术 64

6.3失败是成功之母 68

6.4防止返回的方法 71

第7章运算和输入输出 77

7.1对计算也一致认为OK 78

7.2满足自己要求的表现方法 88

7.3从外边读进信息 95

7.4执行时的排错也很顺利 98

第8章窗口 102

8.1开窗口 103

8.2出入窗口也很自由 107

8.3星球大战游戏 110

8.4编制猜单词游戏 116

8.5随时可调用MS-DOS 120

第9章图形、声音功能 125

9.1利用prolog图形功能 126

9.2追海龟 132

9.3发挥TURBO Prolog的威力 140

9.4也可发出声音 143

第10章文字和字符串 150

10.1如果没有它就不能运行 151

10.2实用程序设计所不可缺少的 160

10.3在最后 167

第11章应用 173

11.1亲手做AI 173

11.2寻找捷径 186

11.3洞穴冒险 191

11.4硬件模拟 195

11.1能访问世界的末日吗? 198

11.2分解单词为音节 202

11.3找皇后的移动去处 204

11.4读取键的技巧 210

第二篇 基本的程序库和专家系统实例 218

第12章Prolog的过程式一面 218

12.1 IF…THEN…ELSE结构 219

12.2 CASE结构 221

12.3 DO WHILE和其他的循环结构 221

12.4设计控制结构 224

12.5优化控制结构 226

第13章通用谓词 228

13.1日期操作 229

13.2两个基本的例行程序: true和repeat 240

第14章表处理谓词 243

14.1表 243

14.2表的优点 244

14.3定义领域 245

14.4谓词 247

14.5表的转化 286

第15章再谈算术运算 289

15.1计数器 289

15.2 TURBO Prolog中的数学算符 291

15.3基本的数学谓词 293

15.4使用数学谓词 294

第16章BIOS和DOS-级支撑 303

16.1引入BIOS服务 303

16.2 BIOS中断 305

16.3 bios谓词 306

16.4 TURBO Prolog中使用BIOS服务 309

16.5使用DOS保留中断 313

17.1编译基础 318

第17章编译和与其他语言的接口 318

17.2与Lattica C程序的接口 322

17.3使用Microsoft C 328

17.4使用TURBO C 329

17.5TURBO Prolog同汇编语言模块的接口 330

第18章两个实用的专家系统 334

18.1营养缺乏分析系统实例 334

18.2天气预报专家系统实例 351

附录 358

A改进版TURBO Prolog 2.0 358

B TURBO Prolog标准谓词 363

G保留字 370

D用于中断21的DOS功能 372

考参文献 376

相关图书
作者其它书籍
返回顶部