本书主要介绍计算机自动推理的理论基础数理逻辑及以此理论为基础的入门智能语言Prolog语言,并在此基础上介绍了计算机自动推理理论在教育中应用的基本原理理论中应用的基本原理、结构及其方法。它是作者多年在教学和科研中成果的总结。主要内容包括三大部分：一、基础篇，本篇主要介绍的是数据逻辑的基本理论和本质，**介绍一阶谓词逻辑；二、程序设计篇：本篇主要介绍的是基于一阶谓语逻辑的人工智能语言Prolog语言，运用大量实例讲解了当今*新的Visual Prolog的基本原理和程序设计方法；三、应用篇，本篇主要介绍的是运用计算机自动推理的理论实现在教育中的应用，介绍了智能教学系统设计开发的方法。本数**篇的理论有一定的深度，第二、三篇安排了大量的例题，使用户在读完该书后可独立编写程序。
本书可作为高等院校相应课程的教材，也可供从事理逻辑和智能教学的人员和教师自学之用。

**篇 基础篇
第1章 数理逻辑的本质
第2章 一阶理论
第3章 一阶理论的定理
第二篇 程序设计篇
第4章 Prolog语言概述及Visual Prolog的使用环境
第5章 Prolog的基本原理
第6章 Visual Prolog程序设计
第7章 统一和回溯
第8章 单一和复合对象
第9章 循环和递归
第10章 表和递归
第11章 算术和比较
第12章 类和对象
第13章 **技术
第14章 文件操作谓词
第15章 系统**编程
第16章 Prolog程序实例
第17章 语言的基础
第三篇 应用篇
第18章 专家系统
第19章 知识表示
第20章 ��育专家系统