Title:
MostGeneralUnifierAndRobinson
Download
Description: 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
To Search:
File list (Check if you may need any files):
src\cn\dlut\edu\wang\mgu\Function.java
...\..\....\...\....\...\FunctionComparer.java
...\..\....\...\....\...\FunctionSet.java
...\..\....\...\....\...\Main.java
...\..\....\...\....\...\MostGeneralUnifier.java
...\..\....\...\....\...\Substitution.java
...\..\....\...\....\...\SubstitutionSet.java
...\..\....\...\....\robinson\Clause.java
...\..\....\...\....\........\ClauseSet.java
...\..\....\...\....\........\Resolution.java
...\..\....\...\....\mgu
...\..\....\...\....\robinson
...\..\....\...\wang
...\..\....\edu
...\..\dlut
...\cn
src
