f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
n4 2: Searching: canidae_in_fable(aesops_fables, Species)n4 2: Searching: canidae_in_fable(aesops_fables, Candidate Variable_0)
5 3: Searching: animal_in_fable(aesops_fables, Animal)5 3: Searching: animal_in_fable(aesops_fables, Candidate Variable_1)
6 4: Searching: animal_in_fable(aesops_fables, fox)6 4: Found: animal_in_fable(aesops_fables, fox)
7 5: Searching: canidae_species(Candidate Variable_0)7 5: Searching: canidae_species(Candidate Variable_0)
n8 6: Searching: canidae_species(fox)n8 6: Found: canidae_species(fox)
9 7: Searching: canidae_species(Candidate Variable_1)9 7: Searching: fox=fox
10 8: Searching: canidae_species(wolf)10 8: Found: fox=fox
11 9: Searching: canidae_species(dog)11 9: Found: canidae_in_fable(aesops_fables, fox)
12 10: Searching: canidae_species(dog)
13 11Searching: Aesop's Fables features the fox12 10Comment: Aesop's Fables features the
14 12: Searching: Aesop's Fables features the wolf13 11: Comment: fox
15 13: Searching: Aesop's Fables features the dog14 12: Comment: as a character
16 14: Fail: canidae_species(dog) | {'Result': 'Search Failed'}15 13: Found: query | {'Result': 'Yes'}
17 15: Fail: canidae_in_fable(aesops_fables, Species) | {'Result': 'Search Failed'}16 
18 16: Fail: query | {'Result': 'Search Failed'}17Looking for other paths: Redo: canidae_species(Candidate Variable_0)
1918
2019
21[Path 2]:20[Path 2]:
tt21 14: Found: canidae_species(wolf)
22 15: Searching: wolf=fox
23 16: Fail: wolf=fox | {'Result': 'Search Failed'}
24 
25Looking for other paths: Redo: canidae_species(Candidate Variable_0)
26 
27 
28[Path 3]:
29 17: Found: canidae_species(dog)
30 18: Searching: dog=fox
31 19: Fail: dog=fox | {'Result': 'Search Failed'}
32 
33Looking for other paths: Redo: animal_in_fable(aesops_fables, Candidate Variable_1)
34 
35 
36[Path 4]:
22 17Searching: animal_in_fable(aesops_fables, wolf)37 20Found: animal_in_fable(aesops_fables, wolf)
23 18: Searching: canidae_species(Candidate Variable_2)38 21: Searching: canidae_species(Candidate Variable_0)
24 19: Searching: canidae_species(wolf)
25 20: Searching: canidae_species(Candidate Variable_3)
26 21Searching: canidae_species(fox)39 22Found: canidae_species(fox)
27 22: Searching: canidae_species(dog)40 23: Searching: fox=wolf
28 23: Searching: canidae_species(dog)41 24: Fail: fox=wolf | {'Result': 'Search Failed'}
29 24: Searching: Aesop's Fables features the wolf42 
43Looking for other paths: Redo: canidae_species(Candidate Variable_0)
44 
45 
46[Path 5]:
47 25: Found: canidae_species(wolf)
48 26: Searching: wolf=wolf
49 27: Found: wolf=wolf
50 28: Found: canidae_in_fable(aesops_fables, wolf)
30 25Searching: Aesop's Fables features the dog51 29Comment: Aesop's Fables features the
52 30: Comment: wolf
53 31: Comment: as a character
54 32: Found: query | {'Result': 'Yes'}
55 
56Looking for other paths: Redo: canidae_species(Candidate Variable_0)
57 
58 
59[Path 6]:
60 33: Found: canidae_species(dog)
61 34: Searching: dog=wolf
31 26: Fail: canidae_species(dog) | {'Result': 'Search Failed'}62 35: Fail: dog=wolf | {'Result': 'Search Failed'}
32 27: Fail: canidae_in_fable(aesops_fables, Species) | {'Result': 'Search Failed'}63 36: Fail: canidae_in_fable(aesops_fables, Candidate Variable_0) | {'Result': 'Search Failed'}
33 28: Fail: query | {'Result': 'Search Failed'}64 37: Fail: query | {'Result': 'Search Failed'}
65 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op