标签：利用Horn子句进行推理，使用的是什么样的搜索方法A深度优先搜索B广度优先搜索C都可以D都不是