23.4 推理相关函数