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: uncle_nephew(larry, kenneth)4 2: Searching: uncle_nephew(larry, kenneth)
5 3: Searching: uncle(larry, Candidate Variable_0)5 3: Searching: uncle(larry, Candidate Variable_0)
6 4: Found: uncle(larry, freddie)6 4: Found: uncle(larry, freddie)
7 5: Searching: parent(freddie, Candidate Variable_1)7 5: Searching: parent(freddie, Candidate Variable_1)
8 6: Found: parent(freddie, joseph)8 6: Found: parent(freddie, joseph)
9 7: Searching: brother(joseph, kenneth)9 7: Searching: brother(joseph, kenneth)
10 8: Found: brother(joseph, kenneth)10 8: Found: brother(joseph, kenneth)
11 9: Found: uncle_nephew(larry, kenneth)11 9: Found: uncle_nephew(larry, kenneth)
12 10: Comment: Larry and Kenneth are uncle.12 10: Comment: Larry and Kenneth are uncle.
13 11: Found: query | {'Result': 'truth = True'}13 11: Found: query | {'Result': 'truth = True'}
1414
t15 t
16Looking for other paths: Redo: uncle(larry, Candidate Variable_0)
17 
18 [Path 2]:
19 12: Fail: uncle(larry, Candidate Variable_0) | {'Result': 'Search Failed'}
20 13: Fail: uncle_nephew(larry, kenneth) | {'Result': 'Search Failed'}
21 14: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op