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_or_aunt(william, christine)4 2: Searching: uncle_or_aunt(william, christine)
53: Searching: parent_child(Candidate Variable_0, christine)5 3: Searching: parent_child(Candidate Variable_0, christine)
64: Found: parent_child(patricia, christine)6 4: Found: parent_child(patricia, christine)
75: Searching: sibling(william, patricia)7 5: Searching: sibling(william, patricia)
86: Fail: sibling(william, patricia)8 6: Fail: sibling(william, patricia) | {'Result': 'Search Failed'}
97: Redo: parent_child(Candidate Variable_1, christine)9 7: Fail: uncle_or_aunt(william, christine) | {'Result': 'Search Failed'}
108: Found: parent_child(william, connie)10 8: Fail: query | {'Result': 'Search Failed'}
119: Searching: parent_child(Candidate Variable_2, william)11 
1210: Found: parent_child(william, connie)
1311: Searching: sibling(william, william)
1412: Fail: sibling(william, william)
1513: Redo: parent_child(Candidate Variable_3, william)
1614: Found: parent_child(william, connie)
1715: Searching: sibling(william, connie)
1816: Found: sibling(william, connie)
1917: Found: uncle_or_aunt(william, christine)
2018: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op