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: paternal_grandparent(william, connie)4 2: Searching: paternal_grandparent(william, connie)
5 3: Searching: parent(william, Candidate Variable_0)5 3: Searching: parent(william, Candidate Variable_0)
6 4: Found: parent(william, timothy)6 4: Found: parent(william, timothy)
7 5: Searching: sibling(timothy, connie)7 5: Searching: sibling(timothy, connie)
n8 6: Fail: sibling(timothy, connie)n8 6: Fail: sibling(timothy, connie) | {'Result': 'Search Failed'}
9 7: Fail: paternal_grandparent(william, connie)9 7: Fail: paternal_grandparent(william, connie) | {'Result': 'Search Failed'}
10 8: Fail: query10 8: Fail: query | {'Result': 'Search Failed'}
1111
t12 [Path 2]:t
13 9: Searching: paternal_grandparent(william, christina)
14 10: Searching: parent(william, Candidate Variable_1)
15 11: Found: parent(william, timothy)
16 12: Searching: sibling(timothy, christina)
17 13: Found: sibling(timothy, christina)
18 14: Found: paternal_grandparent(william, christina)
19 15: Fail: query
20 
21 [Path 3]:
2216: Searching: paternal_grandparent(william, Candidate Variable_2)
23 17: Searching: parent(william, timothy)
24 18: Searching: sibling(timothy, Candidate Variable_3)
25 19: Found: sibling(timothy, christina)
26 20: Found: paternal_grandparent(william, christina)
27 21: Found: query | {'Result': 'Search Failed'}
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op