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: great_aunt(elizabeth, spencer)4 2: Searching: great_aunt(elizabeth, spencer)
5 3: Searching: aunt(elizabeth, Candidate Variable_0)5 3: Searching: aunt(elizabeth, Candidate Variable_0)
tt6 4: Found: aunt(elizabeth, peter)
7 5: Searching: parent(peter, spencer)
8 6: Fail: parent(peter, spencer) | {'Result': 'Search Failed'}
9 
10Looking for other paths: Redo: aunt(elizabeth, Candidate Variable_0)
11 
12 
13[Path 2]:
14 7: Searching: parent(Candidate Variable_1, Candidate Variable_0)
15 8: Found: parent(martha, brandi)
6 4: Searching: sister(elizabeth, Candidate Variable_1)16 9: Searching: sister(elizabeth, martha)
7 5: Searching: parent(Candidate Variable_2, spencer)17 10: Searching: parent(Candidate Variable_2, martha)
8 6: Found: parent(mark, spencer)18 11: Fail: parent(Candidate Variable_2, martha) | {'Result': 'Search Failed'}
19 12: Fail: sister(elizabeth, martha) | {'Result': 'Search Failed'}
20 
21Looking for other paths: Redo: parent(Candidate Variable_1, Candidate Variable_0)
22 
23 
24[Path 3]:
25 13: Found: parent(martha, mark)
26 14: Searching: sister(elizabeth, martha)
9 7: Searching: parent(mark, Candidate Variable_1)27 15: Searching: parent(Candidate Variable_3, martha)
28 16: Fail: parent(Candidate Variable_3, martha) | {'Result': 'Search Failed'}
29 17: Fail: sister(elizabeth, martha) | {'Result': 'Search Failed'}
30 
31Looking for other paths: Redo: parent(Candidate Variable_1, Candidate Variable_0)
32 
33 
34[Path 4]:
10 8: Found: parent(mark, peter)35 18: Found: parent(mark, peter)
36 19: Searching: sister(elizabeth, mark)
37 20: Searching: parent(Candidate Variable_4, mark)
38 21: Found: parent(martha, mark)
11 9: Searching: parent(peter, elizabeth)39 22: Searching: parent(martha, elizabeth)
1210: Fail: parent(peter, elizabeth) | {'Result': 'Search Failed'}40 23: Fail: parent(martha, elizabeth) | {'Result': 'Search Failed'}
1311: Redo: parent(mark, Candidate Variable_1)
1412: Fail: parent(mark, Candidate Variable_1) | {'Result': 'Search Failed'}
1513: Fail: sister(elizabeth, Candidate Variable_1) | {'Result': 'Search Failed'}41 24: Fail: sister(elizabeth, mark) | {'Result': 'Search Failed'}
1614: Fail: aunt(elizabeth, Candidate Variable_0) | {'Result': 'Search Failed'}42 25: Fail: aunt(elizabeth, Candidate Variable_0) | {'Result': 'Search Failed'}
1715: Fail: great_aunt(elizabeth, spencer) | {'Result': 'Search Failed'}43 26: Fail: great_aunt(elizabeth, spencer) | {'Result': 'Search Failed'}
1816: Fail: query | {'Result': 'Search Failed'}44 27: Fail: query | {'Result': 'Search Failed'}
45 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op