含有知识表示,搜索策略、归结原理。算法的具体思想以及算法的模拟展示