关于演绎系统的搜索策略的说法正确的是（）

• A、在寻找完所有解图之后，再判断解图的一致性。
• B、首先找一个任意解图，再检验其一致性，看是否是一致解图。如果这个候选解图不一致，则继续搜索直到找到一个一致解图为止。
• C、在扩展局部的候选解图前，就进行一致性的检验，修剪不一致的局部候选解图，致使效率提高。
• D、建立规则连接图结构，从而提高系统的求解效率。