自己设计的人工智能课程中鲁滨逊归结原理和归结算法的实现。效果很好。-Robison resolution principle

最一般合一和鲁滨逊归结原理的实现源码，开发语言为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

实现人工智能中鲁滨逊归结原理处理之前的删除策略的C#代码-Robinson resolution principle to achieve artificial intelligence in dealing with the deletion policy before the C# code

曹老师的ppt 是关于鲁滨逊归结原理方面的 -Cao teacher ppt