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: sibling(mary, thomas)4 2: Searching: sibling(mary, thomas)
5 3: Searching: parent(Candidate Variable_0, mary)5 3: Searching: parent(Candidate Variable_0, mary)
n6 4: Fail: parent(gregory, mary)n6 4: Fail: parent(Candidate Variable_0, mary) | {'Result': 'Search Failed'}
7 5: Searching: parent(Candidate Variable_1, thomas)7 
8 6: Fail: parent(gregory, thomas)8Looking for other paths: Redo: sibling(mary, thomas)
9 7: Searching: married(Candidate Variable_2, mary)
10 8: Fail: married(gregory, mary)
11 9: Searching: married(Candidate Variable_3, thomas)
12 10: Fail: married(gregory, thomas)
13 11: Fail: sibling(mary, thomas)
14 12: Fail: query | {'Result': 'Search Failed'}
159
1610
17[Path 2]:11[Path 2]:
n18 13: Found: parent(gregory, mary)n
19 14: Searching: parent(gregory, thomas)
20 15: Found: parent(gregory, thomas)
21 16: Searching: married(mary, Candidate Variable_4)12 5: Searching: married(mary, Candidate Variable_1)
22 17: Fail: married(mary, Candidate Variable_4)13 6: Fail: married(mary, Candidate Variable_1) | {'Result': 'Search Failed'}
23 18: Searching: married(thomas, Candidate Variable_5)
24 19: Fail: married(thomas, Candidate Variable_5)
25 20: Fail: sibling(mary, thomas) | {'Result': 'Search Failed'}14 7: Fail: sibling(mary, thomas) | {'Result': 'Search Failed'}
26 21: Fail: query | {'Result': 'Search Failed'}15 8: Fail: query | {'Result': 'Search Failed'}
2716
t28 t
29[Path 3]:
30 22: Searching: sibling(christopher, mary)
31 23: Searching: parent(Candidate Variable_6, christopher)
32 24: Found: parent(gregory, christopher)
33 25: Searching: parent(gregory, mary)
34 26: Fail: parent(gregory, mary)
35 27: Searching: married(christopher, Candidate Variable_7)
36 28: Fail: married(christopher, Candidate Variable_7)
37 29: Searching: married(mary, Candidate Variable_8)
38 30: Fail: married(mary, Candidate Variable_8)
39 31: Fail: sibling(christopher, mary)
40 32: Fail: sibling(mary, thomas)
41 33: Fail: query | {'Result': 'Search Failed'}
42 
43 
44[Path 4]:
45 34: Found: parent(gregory, cecil)
46 35: Searching: parent(gregory, thomas)
47 36: Found: parent(gregory, thomas)
48 37: Searching: sibling(cecil, mary)
49 38: Searching: parent(gregory, mary)
50 39: Fail: parent(gregory, mary)
51 40: Searching: parent(Candidate Variable_9, thomas)
52 41: Found: parent(gregory, thomas)
53 42: Searching: married(cecil, Candidate Variable_10)
54 43: Fail: married(cecil, Candidate Variable_10)
55 44: Searching: married(mary, Candidate Variable_11)
56 45: Fail: married(mary, Candidate Variable_11)
57 46: Fail: sibling(cecil, mary)
58 47: Fail: sibling(mary, thomas)
59 48: Fail: query | {'Result': 'Search Failed'}
60 
61 
62[Path 5]:
63 49: Found: parent(gregory, thomas)
64 50: Searching: sibling(christopher, thomas)
65 51: Found: sibling(christopher, thomas)
66 52: Found: sibling(mary, thomas)
67 53: Found: query | {'Result': 'truth = True'}
68 
69 
70Looking for other paths: Redo: sibling(christopher, thomas)
71 
72 
73[Path 6]:
74 54: Searching: parent(Candidate Variable_12, christopher)
75 55: Found: parent(gregory, christopher)
76 56: Searching: parent(gregory, thomas)
77 57: Found: parent(gregory, thomas)
78 58: Searching: married(christopher, Candidate Variable_13)
79 59: Fail: married(christopher, Candidate Variable_13)
80 60: Searching: married(thomas, Candidate Variable_14)
81 61: Fail: married(thomas, Candidate Variable_14)
82 62: Fail: sibling(christopher, thomas)
83 63: Fail: sibling(mary, thomas)
84 64: Fail: query | {'Result': 'Search Failed'}
85 
86 
87[Path 7]:
88 65: Searching: sibling(daniel, thomas)
89 66: Searching: parent(
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op