最一般合一和鲁滨逊归结原理的实现源码，开发语言为Java，可以分析多个公式的合一和归结-Robinson attributed the most general principles of unity and the realization of source code, the programming language was Java, can be analyzed and summarized a number-one formula