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: daughter(melissa, laura)4 2: Searching: daughter(melissa, laura)
5 3: Searching: sibling(melissa, Candidate Variable_0)5 3: Searching: sibling(melissa, Candidate Variable_0)
6 4: Found: sibling(melissa, lisa)6 4: Found: sibling(melissa, lisa)
7 5: Searching: sibling(lisa, laura)7 5: Searching: sibling(lisa, laura)
8 6: Fail: sibling(lisa, laura) | {'Result': 'Search Failed'}8 6: Fail: sibling(lisa, laura) | {'Result': 'Search Failed'}
t9 7: Redo: sibling(melissa, Candidate Variable_0)t9 7: Fail: daughter(melissa, laura) | {'Result': 'Search Failed'}
10 8: Found: sibling(melissa, lisa)10 8: Fail: query | {'Result': 'Search Failed'}
11 9: Searching: sibling(lisa, Candidate Variable_1)11 
12 10: Fail: sibling(lisa, Candidate Variable_1) | {'Result': 'Search Failed'}
13 11: Redo: sibling(melissa, Candidate Variable_0)
14 12: Found: sibling(melissa, lisa)
15 13: Searching: sibling(lisa, Candidate Variable_2)
16 14: Fail: sibling(lisa, Candidate Variable_2) | {'Result': 'Search Failed'}
17 15: Redo: sibling(melissa, Candidate Variable_0)
18 16: Found: sibling(melissa, lisa)
19 17: Searching: sibling(lisa, Candidate Variable_3)
20 18: Fail: sibling(lisa, Candidate Variable_3) | {'Result': 'Search Failed'}
21 19: Redo: sibling(melissa, Candidate Variable_0)
22 20: Found: sibling(melissa, lisa)
23 21: Searching: sibling(lisa, Candidate Variable_4)
24 22: Fail: sibling(lisa, Candidate Variable_4) | {'Result': 'Search Failed'}
25 23: Redo: sibling(melissa, Candidate Variable_0)
26 24: Found: sibling(melissa, lisa)
27 25: Searching: sibling(lisa, Candidate Variable_5)
28 26: Fail: sibling(lisa, Candidate Variable_5) | {'Result': 'Search Failed'}
29 27: Redo: sibling(melissa, Candidate Variable_0)
30 28: Found: sibling(melissa, lisa)
31 29: Searching: sibling(lisa, Candidate Variable_6)
32 30: Fail: sibling(lisa, Candidate Variable_6) | {'Result': 'Search Failed'}
33 31: Redo: sibling(melissa, Candidate Variable_0)
34 32: Found: sibling(melissa, lisa)
35 33: Searching: sibling(lisa, Candidate Variable_7)
36 34: Fail: sibling(lisa, Candidate Variable_7) | {'Result': 'Search Failed'}
37 35: Redo: sibling(melissa, Candidate Variable_0)
38 36: Found: sibling(melissa, lisa)
39 37: Searching: sibling(lisa, Candidate Variable_8)
40 38: Fail: sibling(lisa, Candidate Variable_8) | {'Result': 'Search Failed'}
41 39: Redo: sibling(melissa, Candidate Variable_0)
42 40: Found: sibling(melissa, lisa)
43 41: Searching: sibling(lisa, Candidate Variable_9)
44 42: Fail: sibling(lisa, Candidate Variable_9) | {'Result': 'Search Failed'}
45 43: Redo: sibling(melissa, Candidate Variable_0)
46 44: Found: sibling(melissa, lisa)
47 45: Searching: sibling(lisa, Candidate Variable_10)
48 46: Fail: sibling(lisa, Candidate Variable_10) | {'Result': 'Search Failed'}
49 47: Redo: sibling(melissa, Candidate Variable_0)
50 48: Found: sibling(melissa, lisa)
51 49: Searching: sibling(lisa, Candidate Variable_11)
52 50: Fail: sibling(lisa, Candidate Variable_11) | {'Result': 'Search Failed'}
53 51: Redo: sibling(melissa, Candidate Variable_0)
54 52: Found: sibling(melissa, lisa)
55 53: Searching: sibling(lisa, Candidate Variable_12)
56 54: Fail: sibling(lisa, Candidate Variable_12) | {'Result': 'Search Failed'}
57 55: Redo: sibling(melissa, Candidate Variable_0)
58 56: Found: sibling(melissa, lisa)
59 57: Searching: sibling(lisa, Candidate Variable_13)
60 58: Fail: sibling(lisa, Candidate Variable_13) | {'Result': 'Search Failed'}
61 59: Redo: sibling(melissa, Candidate Variable_0)
62 60: Found: sibling(melissa, lisa)
63 61: Searching: sibling(lisa, Candidate Variable_14)
64 62: Fail: sibling(lisa, Candidate Variable_14) | {'Result': 'Search Failed'}
65 63: Redo: sibling(melissa, Candidate Variable_0)
66 64: Found: sibling(m
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op