谓词演算基础知识

    1、概述

       简要介绍本节的重点内容所在。

    2、子句

       介绍子句的相关概念，重点介绍如何将一个谓词演算公式化为一个子句集。

    3、合一（Unify)

    介绍合一的相关概念，重点介绍合成的步骤及性质。