第三章 子句

Prolog 语言是一种新颖的程序设计语言,其最主要的特点是能象人脑那样进行逻辑推理。它的语法简单,程序效率高,容易掌握。Turbo-Prolog 是美国 Borland 国际有限公司推出的一种用于 IBM-PC 系列微机的 Prolog 语言。它具有良好的用户界面和丰富的标准谓词,可广泛应用于人工智能、专家系统、办公自动化、人工自然语言理解、自动推理、关系数据库等领域。本书从第一章到第五章介绍了 Prolog 语言的基础知识。第六章介绍了 Turbo-Prolog 的标准谓词。第七章介绍了几个比较典型的例子。第八章分专题介绍了用 Turbo-Prolog 进行程序设计时所涉及的技术问题和编程技巧。附录 A 介绍了运行 Turbo-Prolog 系统的方法。各章均有许多例子供读者练习。本书可供计算机专家和具有计算机基础知识的科研人员,大学生,研究生阅读。