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(carmelita, brandi)4 2: Searching: mother_in_law(carmelita, brandi)
5 3: Searching: married(Candidate Variable_0, brandi)5 3: Searching: married(Candidate Variable_0, brandi)
n6 4: Found: married(tommy, brandi)n6 4: Fail: married(Candidate Variable_0, brandi) | {'Result': 'Search Failed'}
7 5: Searching: parent(carmelita, tommy)7 5: Fail: mother_in_law(carmelita, brandi) | {'Result': 'Search Failed'}
8 6: Found: parent(carmelita, tommy)8 6: Fail: query | {'Result': 'Search Failed'}
9 7: Found: mother_in_law(carmelita, brandi)
10 8: Searching: format('Carmelita is the mother-in-law of Brandi.~n')
11 9: Found: format('Carmelita is the mother-in-law of Brandi.~n')
12 10: Found: query | {'Result': 'truth = True'}
139
t14 t
15Looking for other paths: Redo: married(Candidate Variable_0, brandi)
16 
17 
18[Path 2]:
19 11: Fail: married(tommy, brandi) | {'Result': 'Search Failed'}
20 12: Fail: mother_in_law(carmelita, brandi) | {'Result': 'Search Failed'}
21 13: Fail: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op