如何用C语言实现归结原理