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: brother_in_law(kent, dorothy)4 2: Searching: brother_in_law(kent, dorothy)
n5 3: Searching: uncle(kent, florence)n5 3: Searching: uncle(kent, Candidate Variable_0)
6 4: Searching: parent(Candidate Variable_0, kent)6 4: Searching: parent(Candidate Variable_1, kent)
7 5: Found: parent(james, kent)7 5: Found: parent(james, kent)
n8 6: Searching: sibling(james, florence)n8 6: Searching: sibling(james, Candidate Variable_0)
9 7: Fail: sibling(james, florence)9 7: Fail: sibling(james, Candidate Variable_0) | {'Result': 'Search Failed'}
10 8: Fail: uncle(kent, florence)10 8: Fail: uncle(kent, Candidate Variable_0) | {'Result': 'Search Failed'}
11 9: Fail: brother_in_law(kent, dorothy)11 9: Fail: brother_in_law(kent, dorothy) | {'Result': 'Search Failed'}
12 10: Fail: query | {'Result': 'Search Failed'}12 10: Fail: query | {'Result': 'Search Failed'}
1313
t14 t
15[Path 2]:
16 11: Searching: uncle(thomas, florence)
17 12: Searching: parent(Candidate Variable_1, thomas)
18 13: Found: parent(james, thomas)
19 14: Searching: sibling(james, florence)
20 15: Found: sibling(james, florence)
21 16: Found: uncle(thomas, florence)
22 17: Searching: brother_in_law(kent, dorothy)
23 18: Found: brother_in_law(kent, dorothy)
24 19: Comment: Kent is Dorothy's brother-in-law.
25 20: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op