Description: Field of artificial intelligence in the first-order reasoning horn clauses, Java to achieve, you can achieve the most basic functions, a good learning materials.
To Search:
File list (Check if you may need any files):
com.xiao.oneReasoning
.....................\.classpath
.....................\.project
.....................\.settings
.....................\.........\org.eclipse.jdt.core.prefs
.....................\bin
.....................\...\oneReasoning
.....................\...\............\ReasoningOne.class
.....................\src
.....................\...\oneReasoning
.....................\...\............\ReasoningOne.java