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: mother_in_law(julie, nola)4 2: Searching: mother_in_law(julie, nola)
5 3: Searching: parent(nola, Candidate Variable_0)5 3: Searching: parent(nola, Candidate Variable_0)
t6 4: Searching: spouse(julie, nola)t6 4: Fail: parent(nola, Candidate Variable_0) | {'Result': 'Search Failed'}
7 5: Fail: spouse(julie, nola)7 5: Fail: mother_in_law(julie, nola) | {'Result': 'Search Failed'}
8 6: Redo: mother_in_law(julie, nola), 4th clause8 
9 7: Searching: parent(julie, nola)9Looking for other paths: Redo: query
10 8: Searching: spouse(nola, julie)10 
11 9: Fail: spouse(nola, julie)11 
12 10: Fail: mother_in_law(julie, nola)12[Path 2]:
13 11: Redo: query, 2nd alternative
14 12: Searching: sister_in_law(julie, nola)13 6: Searching: sister_in_law(julie, nola)
15 13: Searching: sibling(nola, julie)14 7: Searching: sibling(Candidate Variable_1, nola)
16 14: Searching: spouse(julie, nola)15 8: Fail: sibling(Candidate Variable_1, nola) | {'Result': 'Search Failed'}
17 15: Found: spouse(julie, nola)16 9: Fail: sister_in_law(julie, nola) | {'Result': 'Search Failed'}
18 16: Found: sibling(nola, julie)17 10: Fail: query | {'Result': 'Search Failed'}
19 17: Found: sister_in_law(julie, nola)18 
20 18: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op