f1[Path 1]:f1[Path 1]:
t20: Start of execution: Beginning Searcht2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query
42: Searching: uncle(larry, gerald)4 2: Searching: uncle(larry, gerald)
53: Searching: sibling(Candidate Variable_0, gerald)5 3: Searching: sibling(Candidate Variable_0, gerald)
64: Found: sibling(lawrence, gerald)6 4: Fail: sibling(Candidate Variable_0, gerald) | {'Result': 'Search Failed'}
75: Searching: parent(larry, lawrence)7 5: Fail: uncle(larry, gerald) | {'Result': 'Search Failed'}
86: Found: parent(larry, lawrence)8 6: Fail: query | {'Result': 'Search Failed'}
97: Found: uncle(larry, gerald)9 
108: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op