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: grandparent_in_law(christian, kate)4 2: Searching: grandparent_in_law(christian, kate)
n5 3: Searching: parent_in_law(christian, Parent_of_Spouse)n5 3: Searching: parent_in_law(christian, Candidate Variable_0)
6 4: Searching: parent(christian, Z)6 4: Searching: parent(christian, Candidate Variable_1)
7 5: Found: parent(christian, pennie)7 5: Found: parent(christian, pennie)
n8 6: Searching: parent_of_spouse(pennie, sean)n8 6: Searching: parent_of_spouse(pennie, Candidate Variable_0)
9 7: Found: parent_of_spouse(pennie, sean)9 7: Searching: married(Candidate Variable_0, pennie)
10 8: Found: parent_in_law(christian, sean)10 8: Fail: married(Candidate Variable_0, pennie) | {'Result': 'Search Failed'}
11 9: Searching: grandparent_in_law(christian, sean)11 9: Fail: parent_of_spouse(pennie, Candidate Variable_0) | {'Result': 'Search Failed'}
12 10: Searching: parent_in_law(christian, Parent_of_Spouse)12 10: Fail: parent_in_law(christian, Candidate Variable_0) | {'Result': 'Search Failed'}
13 11: Searching: parent(christian, Z)13 11: Fail: grandparent_in_law(christian, kate) | {'Result': 'Search Failed'}
14 12: Found: parent(christian, pennie)14 12: Fail: query | {'Result': 'Search Failed'}
15 13: Searching: parent_of_spouse(pennie, Couple)
16 14: Found: parent_of_spouse(pennie, sean)
17 15: Found: grandparent_in_law(christian, sean)
18 16: Found: grandparent_in_law(christian, kate)
19 17: Found: query | {'Result': 'truth = True'}
2015
t21 t
22Looking for other paths: Redo: parent(christian, Z)
23 
24 
25[Path 2]:
26 18: Fail: parent(christian, Candidate Variable_0) | {'Result': 'Search Failed'}
27 19: Fail: parent_in_law(christian, Parent_of_Spouse) | {'Result': 'Search Failed'}
28 20: Fail: grandparent_in_law(christian, kate) | {'Result': 'Search Failed'}
29 21: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op