PROLOG语言及其应用

侯丰胜所著书籍

《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及其兼容机为背景，CCDOS为操作系统，3.1版的micro-PROLOG为例介绍PROLOG语言的。

本书在叙述上力求由浅入深，通俗易懂。各章均配有一定数量的习题，并在书末给出了参考答案在，这些习题和答案有助于读者对各章内容的理解和巩固。带“*”号的部分可作为选学内容。

本书适合于自学，也可作为教材。书中程序里的谓词和个体基本上都以汉字表示，因而程序的易读性较强。另外，对英文命令、关系名都给出了中文解释，从而也使得不懂英语的人可以自学PROLOG语言。

书中理论叙述与大量实例相结合，所有实例程序都在IBM PC/XT微机上通过。

本书的部分内容反映了作者近年来的研究成果。

本书出版得到了兰州军区军医学校领导及训练部领导的支持，也得到了兰州军区后勤部自动化工作站领导的支持，在此表示深深地感谢！另外，要特别感谢肖天庆副教授和李萍（别名李玉婵，作者的妻子）同志，他们不仅对本书出版给以大力支持，而且付出了辛勤的劳动。感谢刘卫华、曹晓延、邓慧梅等同志的支持和协助。

由于编者水平有限，加之时间仓促，本书定有不妥、欠周、疏漏和错误之处，恳请专家和广大读者批评指正。

作者

1989年11月于兰州

第一章概述

§1.1 PROLOG语言的特点

§1.2 PROLOG语言的运行环境

§1.3 PROLOG语言程序的构成

§1.4 常量、数和变量

§1.5 PROLOG的进入和退出

习题一

第二章事实和询问

§2.1事实的建立和输入

§2.2 程序的输出

§2.3 程序的存贮与调入

§2.4 程序的编辑

§2.5 询问

§2.6算术关系和EQ关系

§2.7　询问的求解（PROLOG程序的执行过程）

习题二

第三章规则

§3.1条件句与规则

§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.5表达式条件

§5.6 is-told条件

§5.7注释条件

习题五

第六章表处理

§6.1 表的连接关系

§6.2 用“连接”关系定义新的关系

§6.3排序关系的递归描述

§6.4 表函数

习题六

第七章尾部递归及模块的使用

§7.1 唯一答案条件

§7.2 /条件

§7.3 询问堆栈和节省空间

§7.4 尾部递归定义

§7.5模块的使用

习题七

第八章 true-of条件和原语言关系

§8.1 true-of条件

§8.2原语关系（内部谓词）

§8.3 add和delete命令用法补充

习题八

第九章 PROLOG的应用及实例程序

§9.1集合运算

§9.2排列组合

§9.3定理的证明

§9.4专家系统

§9.5 趣味智力题

§9.6自然语言处理

§9.7 PROLOG的其它应用

习题九

习题参考答案

参考文献