Find below some java files which you can use for testing your program. They are similar in format and usage to the UnifyTester.java which has also been provided. The specific test cases that each file checks are also mentioned below:

Test 1 - UnifyTester1.java

Tests for the unification of the following:
Brother(?x, Adam, ?y)
Brother(?y, Adam, ?x)

Test2 - UnifyTester2.java

Tests for the unification of the following:
Brother(?x, Adam, ?y) ^ Brother(Bruce, Adam, ?y)
Brother(Bruce, Adam, ?z) ^ Brother(Jim, Adam, ?z)


Test3 -
UnifyTester3.java

Tests for the unification of the following:
Person(?x, ?y) ^ Brother(?x, Adam) ^ Person(Jim, ?z)
Brother(Bruce, Adam) ^ Person(Jim, Sam) ^ Person(Bruce, Jim)


Grad / Extra Credit tests


Test1 - FCTester1.java
The following is tested for:
// facts
Grad(Adam)
Grad(Jim)

// rules
Grad(?x) => Brainy(?x)

 

Test2 - FCTester2.java
The following is tested for:
// facts
Grad(Adam)
Friends(Adam, Jim)

// rules
Grad(?x) => Brainy(?x)
Brainy(?x) ^ Friends(?x, ?y) => Brainy(?y)