可组合的推理算法