基于归结原理的推理系统
......................\01.txt
......................\02.txt
......................\03.txt
......................\04.txt
......................\05.txt
......................\06.txt
......................\09.txt
......................\10.txt
......................\11-2.txt
......................\13.txt
......................\14.txt
......................\16.txt
......................\17.txt
......................\19.TXT
......................\20.TXT
......................\21.TXT
......................\22.txt
......................\23.txt
......................\24.txt
......................\25.txt
......................\26.txt
......................\99.txt
......................\Barber.TXT
......................\club.txt
......................\contradication.txt
......................\dog_cat.txt
......................\dolphin.txt
......................\Equal.HLP
......................\equal.txt
......................\equals.txt
......................\Father_brother.TXT
......................\father_mother.txt
......................\husband_wife.txt
......................\Innocent.txt
......................\integer.txt
......................\john_peanat.txt
......................\killer-1.txt
......................\killer_2.txt
......................\Marcus_Caesar.txt
......................\muder_case-1.txt
......................\muder_case_answer.txt
......................\natural_number.txt
......................\Pete_Steve.txt
......................\Resolution.exe
......................\resolution.GID
......................\resolution.HLP
......................\subsume.HLP
......................\Thelma_Steve.txt
......................\Thief.txt
......................\unify.HLP
......................\zhaoqiansenli.TXT