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: grandfather(christian, william)4 2: Searching: grandfather(christian, william)
5 3: Searching: parent(christian, Candidate Variable_0)5 3: Searching: parent(christian, Candidate Variable_0)
6 4: Found: parent(christian, pennie)6 4: Found: parent(christian, pennie)
7 5: Searching: sibling(pennie, Candidate Variable_1)7 5: Searching: sibling(pennie, Candidate Variable_1)
n8 6: Found: sibling(pennie, sean)n8 6: Fail: sibling(pennie, Candidate Variable_1) | {'Result': 'Search Failed'}
9 7: Searching: parent(sean, william)9 7: Fail: grandfather(christian, william) | {'Result': 'Search Failed'}
10 8: Fail: parent(sean, william)
11 9: Fail: grandfather(christian, william)
12 10: Fail: query | {'Result': 'Search Failed'}10 8: Fail: query | {'Result': 'Search Failed'}
1311
t14 [Path 2]:t
15 11: Redo: parent(christian, Candidate Variable_0)
16 12: Found: parent(christian, pennie)
17 13: Searching: sibling(pennie, jonathan)
18 14: Fail: sibling(pennie, jonathan)
19 15: Fail: grandfather(christian, william)
20 16: Fail: query | {'Result': 'Search Failed'}
21 
22 [Path 3]:
23 17: Redo: parent(christian, Candidate Variable_0)
24 18: Found: parent(christian, pennie)
25 19: Searching: sibling(pennie, Candidate Variable_1)
26 20: Found: sibling(pennie, Candidate Variable_1)
27 21: Searching: parent(Candidate Variable_1, william)
28 22: Found: parent(jonathan, william)
29 23: Found: grandfather(christian, william)
30 24: Found: query | {'Result': 'truth = True'}
31 
32Looking for other paths: Redo: sibling(pennie, Candidate Variable_1)
33 
34 [Path 4]:
35 25: Searching: sibling(pennie, sean)
36 26: Searching: parent(sean, william)
37 27: Fail: parent(sean, william)
38 28: Fail: grandfather(christian, william)
39 29: Fail: query | {'Result': 'Search Failed'}
40 
41 [Path 5]:
42 30: Redo: sibling(pennie, Candidate Variable_1)
43 31: Found: No more transformations
44 
45 [Path 6]:
46 32: Redo: parent(christian, Candidate Variable_0)
47 33: Fail: parent(christian, Candidate Variable_0)
48 34: Fail: grandfather(christian, william)
49 35: Fail: query | {'Result': 'Search Failed'}
50 
51[Path 7]:
52 36: Searching: wife(cristina, jonathan)
53 37: Found: wife(cristina, jonathan)
54 38: Searching: parent(jonathan, Candidate Variable_2)
55 39: Found: parent(jonathan, william)
56 40: Searching: parent(cristina, william)
57 41: Found: parent(cristina, william)
58 42: Found: grandfather(christian, william)
59 43: Found: query | {'Result': 'truth = True'}
60 
61Looking for other paths: Redo: parent(jonathan, Candidate Variable_2)
62 
63 
64[Path 8]:
65 44: Redo: parent(jonathan, Candidate Variable_2)
66 45: Fail: parent(jonathan, Candidate Variable_2)
67 46: Fail: grandfather(christian, william)
68 47: Fail: query | {'Result': 'Search Failed'}
69 
70[Path 9]:
71 48: Searching: parent(cristina, william)
72 49: Found: parent(cristina, william)
73 50: Found: grandfather(christian, william)
74 51: Found: query | {'Result': 'truth = True'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op