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: is_related(davis, james)4 2: Searching: is_related(davis, james)
5 3: Searching: parent(davis, james)5 3: Searching: parent(davis, james)
6 4: Fail: parent(davis, james) | {'Result': 'Search Failed'}6 4: Fail: parent(davis, james) | {'Result': 'Search Failed'}
nn7 
8Looking for other paths: Redo: is_related(davis, james)
9 
10 
11[Path 2]:
7 5: Searching: sibling(davis, james)12 5: Searching: sibling(davis, james)
8 6: Fail: sibling(davis, james) | {'Result': 'Search Failed'}13 6: Fail: sibling(davis, james) | {'Result': 'Search Failed'}
n9 7: Found: is_related(davis, james) | {'Result': 'truth = False'}n14 7: Fail: is_related(davis, james) | {'Result': 'Search Failed'}
15 
16Looking for other paths: Redo: query
17 
18 
19[Path 3]:
10 8: Found: query | {'Result': 'truth = True'}20 8: Found: query | {'Result': 'truth = True'}
tt21 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op