f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: cousin(fay, joseph)4 2: Searching: cousin(fay, joseph)
5 3: Searching: sibling(Candidate Variable_0, Candidate Variable_1)5 3: Searching: sibling(Candidate Variable_0, Candidate Variable_1)
n6 4: Found: sibling(janice, fay)n6 4: Found: sibling(william, michele)
7 5: Searching: parent(janice, Grandparent)7 5: Searching: parent(william, Candidate Variable_2)
8 6: Found: parent(janice, alan)8 6: Found: parent(william, jennifer)
9 7: Searching: parent(alan, fay)9 7: Searching: parent(jennifer, fay)
10 8: Fail: parent(alan, fay)
11 9: Searching: parent(alan, joseph)
12 10: Found: parent(alan, william)
13 11: Fail: parent(alan, joseph)
14 12: Fail: cousin(fay, joseph)
15 13: Fail: query | {'Result': 'Search Failed'}10 8: Fail: parent(jennifer, fay) | {'Result': 'Search Failed'}
11 
12Looking for other paths: Redo: sibling(Candidate Variable_0, Candidate Variable_3)
1613
1714
18[Path 2]:15[Path 2]:
n1914: Found: sibling(william, michele)n16 9: Found: sibling(janice, fay)
2015: Searching: parent(william, Grandparent)17 10: Searching: parent(janice, Candidate Variable_4)
2116: Found: parent(william, alan)18 11: Fail: parent(janice, Candidate Variable_4) | {'Result': 'Search Failed'}
2217: Searching: parent(alan, fay)19 
2318: Fail: parent(alan, fay)20Looking for other paths: Redo: sibling(Candidate Variable_0, Candidate Variable_5)
2419: Searching: parent(alan, joseph)
2520: Found: parent(alan, Candidate Variable_2) % Assumed atom/predicate
2621: Found: cousin(fay, joseph)
2722: Found: query | {'Result': 'truth = True'}
2821
2922
30[Path 3]:23[Path 3]:
n3123: Searching: parent(Candidate Variable_3, Candidate Variable_4)n24 12: Found: sibling(janice, dannielle)
3224: Fail: parent(Dana, Candidate Variable_4) | Not a valid assumption25 13: Searching: parent(janice, Candidate Variable_6)
26 14: Fail: parent(janice, Candidate Variable_6) | {'Result': 'Search Failed'}
27 
28Looking for other paths: Redo: sibling(Candidate Variable_0, Candidate Variable_7)
3329
3430
35[Path 4]:31[Path 4]:
t3625: Found: sibling(janice, dannielle)t32 15: Found: sibling(janice, beverly)
3726: Searching: parent(janice, Grandparent)33 16: Searching: parent(janice, Candidate Variable_8)
3827: Found: parent(janice, alan)34 17: Fail: parent(janice, Candidate Variable_8) | {'Result': 'Search Failed'}
3928: Searching: parent(alan, fay)35 18: Fail: cousin(fay, joseph) | {'Result': 'Search Failed'}
4029: Fail: parent(alan, fay)36 19: Fail: query | {'Result': 'Search Failed'}
4130: Searching: parent(alan, joseph)37 
4231: Found: parent(alan, Candidate Variable_5) % Assumed atom/predicate
4332: Found: cousin(fay, joseph)
4433: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op