《PROLOG语言及其应用》一书是
PROLOG语言教学或自学用书。共九章，包括：PROLOG语言概述、
事实和
询问、
规则、表、复合条件、
表处理、
尾部递归、
模块的使用、应用实例
程序等。每章配有一定数量的
习题，书后附有习题参考答案。本书由浅入深，通俗易懂，所有程序均在
计算机上运行通过。书中程序里的
谓词和个体基本上都以
汉字表示，因而程序的易读性较强。另外，对英文命令、关系名都给出了中文解释。书中理论叙述与大量实例相结合，所有实例程序都到
IBM PC/XT机上通过。本书适合大中专学生、教师及计算机
程序员和科技人员阅读或参考。《PROLOG语言及其应用》一书荣获军队院校级优秀教学成果二等奖。
内容简介
PROLOG语言是一种
逻辑型程序设计语言。其特点是能像
人脑那样自动地进行
逻辑推理。它具有自动
搜索、递归、回溯、模式匹配等独特功能，它奇特、优美的
程序设计风格，博得了人们的称赞它的应用非常广泛，适用于
定理证明、非数值处理、应用管理、关系数据库、咨询程序、自然语言处理、
专家系统和
人工智能等许多领域。
《PROLOG语言及其应用》一书是PROLOG语言教学或自学用书。全书共分九章。内容包括：PROLOG语言概述、
事实和
询问、
规则、表、复合条件、
表处理、
尾部递归及
模块的使用、PROLOG的应用及实例程序等。每章配有一定数量的习题，书后附有习题参考答案。本书由浅入深，通俗易懂，所有程序均在
计算机上运行通过。书中程序里的
谓词和个体基本上都以汉字表示，因而程序的易读性较强。另外，对英文命令、
关系名都给出了中文解释，从而也使得不懂英语的人可以自学PROLOG语言书中理论叙述与大量实例相结合，所有实例程序都到
IBM PC/XT机上通过。本书适合大中专学生、教师及计算机
程序员和
科技人员阅读或参考。
作者简介
侯丰胜男,1958年2月1日出生。陕西省合阳县
路井镇路一村人。
汉族。1976年2月
入伍，1977年10月加入
中国共产党，大学文化程度，专业技术六级，
文职3级。
兰州军区科技新星，兰州军区联勤部科技工作专家库成员，解放军兰州医学高等专科学校数理计算机教研室副教授。荣立
三等功3次，受嘉奖6次，获学校优秀党员1次。获军队科学技术进步三等奖4项，四等奖5项。获院校级优秀教学成果一等奖1项，二等奖3项，三等奖1项、主编出版了4部专著和教材。在《
计算机应用研究》、《
微型机与应用》、《
中国卫生统计》、《
微型计算机》、《
微小型计算机开发与应用》、《
数学通报》、《
计算机世界》、《
中国计算机报》、《
软件报》、《
电脑报》、《
大众日报》、《
信息日报》等报刊杂志发表论文260余篇，计150多万字。曾任《
新潮电子》、《
中国电脑教育报》、《
软件报》等报刊杂志的特约撰稿人。
前 言
PROLOG语言是计算机程序设计语言领域里出现的一颗新星，它是一种逻辑型
程序设计语言，其特点是能像人脑那样自动地进行逻辑推理。它具有自动搜索、递归、回溯、模式匹配等独特功能，它奇特、优美的程序设计风格，博得了人们的称赞。
它的应用非常广泛，适用于定理证明、非数值处理、应用管理、
关系数据库、咨询程序、自然语言处理、专家系统和人工智能等许多领域。
本书是以
IBM PC/XT及其
兼容机为背景，CC
DOS为
操作系统，3.1版的micro-PROLOG为例介绍PROLOG语言的。
本书在叙述上力求由浅入深，通俗易懂。各章均配有一定数量的习题，并在书末给出了参考答案在，这些习题和答案有助于读者对各章内容的理解和巩固。带“*”号的部分可作为选学内容。
本书适合于自学，也可作为教材。书中程序里的谓词和个体基本上都以汉字表示，因而程序的易读性较强。另外，对英文命令、关系名都给出了中文解释，从而也使得不懂英语的人可以自学PROLOG语言。
书中理论叙述与大量实例相结合，所有实例程序都在
IBM PC/XT微机上通过。
本书的部分内容反映了作者近年来的研究成果。
本书出版得到了兰州军区军医学校领导及训练部领导的支持，也得到了兰州军区后勤部自动化工作站领导的支持，在此表示深深地感谢！另外，要特别感谢肖天庆副教授和李萍（别名李玉婵，作者的妻子）同志，他们不仅对本书出版给以大力支持，而且付出了辛勤的劳动。感谢刘卫华、曹晓延、邓慧梅等同志的支持和协助。
由于编者水平有限，加之时间仓促，本书定有不妥、欠周、疏漏和错误之处，恳请专家和广大读者批评指正。
作 者
1989年11月于兰州
目 录
第一章 概述
§1.1 PROLOG语言的特点
§1.5 PROLOG的进入和退出
习题一
第二章 事实和询问
§2.2 程序的输出
§2.4 程序的编辑
§2.5 询问
§2.6算术关系和EQ关系
§2.7 询问的求解（PROLOG程序的执行过程）
习题二
第三章 规 则
§3.2 把询问中的联合条件转化为规则
§3.3 怎样求解含有规则的询问
§3.4 关系的递归定义
§3.5 递归关系的应用举例
习题三
第四章表
§4.1 表的格式
§4.2 寻求定长表的成员
§4.3 表中表
§4.4 寻求不定长表的成员
§4.5 表的长度
§4.6 一致化
习题四
第五章 复合条件
§5.1 否定条件
§5.2 isall条件
§5.3 forall条件
§5.4 or条件
§5.6 is-told条件
习题五
第六章表处理
§6.2 用“连接”关系定义新的关系
习题六
§7.1 唯一答案条件
§7.2 /条件
§7.4 尾部递归定义
习题七
第八章 true-of条件和原语言关系
§8.1 true-of条件
§8.3 add和delete命令用法补充
习题八
第九章 PROLOG的应用及实例程序
§9.7 PROLOG的其它应用
习题九
习题参考答案
参考文献
相关资料
1.
中国图书馆网收录了《PROLOG语言及其应用》一书。
2. 中国书网收录收录了《PROLOG语言及其应用》一书。