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
tt4 2: Searching: path(kenneth, judy, Candidate Variable_0)
5 3: Searching: sibling(kenneth, judy)
4 2: Searching: path(kenneth, judy, Path)6 4: Searching: aunt(kenneth, judy)
5 3: Searching: path(kenneth, judy, [kenneth, judy])7 5: Searching: parent(Candidate Variable_1, judy)
6 4: Fail: path(kenneth, judy, [kenneth, judy])8 6: Fail: parent(Candidate Variable_1, judy) | {'Result': 'Search Failed'}
7 5: Redo: path(kenneth, judy, Path)9 7: Fail: aunt(kenneth, judy) | {'Result': 'Search Failed'}
8 6: Searching: path(kenneth, judy, [kenneth | Path])10 
11Looking for other paths: Redo: sibling(kenneth, judy)
12 
13 
14[Path 2]:
15 8: Searching: uncle(kenneth, judy)
16 9: Searching: parent(Candidate Variable_2, judy)
17 10: Fail: parent(Candidate Variable_2, judy) | {'Result': 'Search Failed'}
18 11: Fail: uncle(kenneth, judy) | {'Result': 'Search Failed'}
19 12: Fail: sibling(kenneth, judy) | {'Result': 'Search Failed'}
20 
21Looking for other paths: Redo: path(kenneth, judy, Candidate Variable_0)
22 
23 
24[Path 3]:
9 7: Searching: parent(kenneth, Candidate Variable_0)25 13: Searching: parent(kenneth, Candidate Variable_3)
26 14: Fail: parent(kenneth, Candidate Variable_3) | {'Result': 'Search Failed'}
27 
28Looking for other paths: Redo: path(kenneth, judy, Candidate Variable_0)
29 
30 
31[Path 4]:
10 8Fail: parent(kenneth, Candidate Variable_0)32 15Searching: parent(kenneth, Candidate Variable_4)
11 9: Redo: path(kenneth, judy, [kenneth | Path])33 16: Fail: parent(kenneth, Candidate Variable_4) | {'Result': 'Search Failed'}
1210: Searching: path(Candidate Variable_0, judy, Path)34 17: Fail: path(kenneth, judy, Candidate Variable_0) | {'Result': 'Search Failed'}
1311: Searching: path(Candidate Variable_0, judy, [Candidate Variable_0 | Path])35 18: Fail: query | {'Result': 'Search Failed'}
1412: Searching: parent(Candidate Variable_0, Candidate Variable_1)36 
1513: Fail: parent(Candidate Variable_0, Candidate Variable_1)
1614: Redo: path(Candidate Variable_0, judy, [Candidate Variable_0 | Path])
1715: Searching: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2 | Path])
1816: Searching: parent(Candidate Variable_0, Candidate Variable_2)
1917: Fail: parent(Candidate Variable_0, Candidate Variable_2)
2018: Redo: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2 | Path])
2119: Searching: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2, Candidate Variable_3 | Path])
2220: Searching: parent(Candidate Variable_0, Candidate Variable_3)
2321: Fail: parent(Candidate Variable_0, Candidate Variable_3)
2422: Redo: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2, Candidate Variable_3 | Path])
2523: Searching: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2, Candidate Variable_3, Candidate Variable_4 | Path])
2624: Searching: parent(Candidate Variable_0, Candidate Variable_4)
2725: Fail: parent(Candidate Variable_0, Candidate Variable_4)
2826: Fail: path(Candidate Variable_0, judy, [Candidate Variable_0, Candidate Variable_2, Candidate Variable_3, Candidate Variable_4 | Path])
2927: Fail: path(kenneth, judy, [kenneth | Path])
3028: Fail: path(kenneth, judy, Path)
3129: Fail: query
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op