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: mother_in_law(martha, elizabeth)4 2: Searching: mother_in_law(martha, elizabeth)
5 3: Searching: parent(martha, Candidate Variable_0)5 3: Searching: parent(martha, Candidate Variable_0)
n6 4: Failn6 4: Fail: parent(martha, Candidate Variable_0) | {'Result': 'Search Failed'}
7 5: Searching: parent(elizabeth, leandro)7 5: Fail: mother_in_law(martha, elizabeth) | {'Result': 'Search Failed'}
8 6: Searching: sibling(Candidate Variable_0, leandro)8 6: Fail: query | {'Result': 'Search Failed'}
9 7: Searching: sibling(donald, leandro)
10 8: Found: sibling(donald, leandro)
11 9: Found: mother_in_law(martha, elizabeth)
12 10: Found: query | {'Result': 'No'}
139
t14[Path 2]:t
15 0: Start of execution: Beginning Search
16 1: Searching: query
17 2: Searching: mother_in_law(martha, elizabeth)
18 3: Searching: parent(martha, Candidate Variable_0)
19 4: Fail
20 5: Searching: parent(elizabeth, leandro)
21 6: Searching: sibling(leandro, Candidate Variable_1)
22 7: Searching: sibling(leandro, mickey)
23 8: Found: sibling(leandro, mickey)
24 9: Found: mother_in_law(martha, elizabeth)
25 10: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op