[pred] 加入谓词，支持等词表示
实现第二种算法的准备工作
[tools] 修正bug
[dpll] 初步实现
Merge branch 'dpll' into pred

将谓词分支的搜索过程改用dpll实现
Conflicts:
	src/Makefile.am
[equal] 实现带等词的证明，但没有证明项
[dpll/proof] 将反文字放在前面，方便霍恩子句的证明
[pred.h] fix
[equal] 实现等词的证明项生成（硬连线）
include
[func] 初步实现函词
[equal] 修复t16不能证明的问题
[equal] 修复某些情况下证明项错误
[equal] 初步实现未解释函数推理和证明项生成
[gamma][1/*] 提取出gamma模块
[gamma][2/*] 更换lit_set
[gamma][3/3] 用gamma模块分离dpll的证明和证明项
[cnf] 分离cnf模块，理清关系
[gamma] 修复按需输出，增加无proof时Admitted
[equal] 更换未解释函数算法，暂时无证明项