推理也是模式匹配？可能吧。

所有推理也是模式吗？也许吧。