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: cousin(jamie, dustin)4 2: Searching: cousin(jamie, dustin)
n5 3: Searching: sibling(Z, jamie)n5 3: Searching: sibling(Candidate Variable_0, jamie)
6 4: Found: sibling(charles, jamie)6 4: Found: sibling(charles, jamie)
n7 5: Searching: sibling(W, dustin)n7 5: Searching: sibling(Candidate Variable_1, dustin)
8 6: Found: sibling(lisa, dustin)8 6: Found: sibling(lisa, dustin)
n9 7: Searching: charles \= lisan9 7: Searching: charles\=lisa
10 8: Found: charles \= lisa10 8: Found: charles\=lisa
11 9: Found: cousin(jamie, dustin)11 9: Found: cousin(jamie, dustin)
12 10: Found: query | {'Result': 'truth = True'}12 10: Found: query | {'Result': 'truth = True'}
tt13 
14Looking for other paths: Redo: sibling(Candidate Variable_1, dustin)
15 
16 
17[Path 2]:
18 11: Found: sibling(robert, dustin)
19 12: Searching: charles\=robert
20 13: Found: charles\=robert
21 14: Found: cousin(jamie, dustin)
22 15: Found: query | {'Result': 'truth = True'}
23 
24Looking for other paths: Redo: sibling(Candidate Variable_0, jamie)
25 
26 
27[Path 3]:
28 16: Found: sibling(faye, jamie)
29 17: Searching: sibling(Candidate Variable_2, dustin)
30 18: Found: sibling(lisa, dustin)
31 19: Searching: faye\=lisa
32 20: Found: faye\=lisa
33 21: Found: cousin(jamie, dustin)
34 22: Found: query | {'Result': 'truth = True'}
35 
36Looking for other paths: Redo: sibling(Candidate Variable_2, dustin)
37 
38 
39[Path 4]:
40 23: Found: sibling(robert, dustin)
41 24: Searching: faye\=robert
42 25: Found: faye\=robert
43 26: Found: cousin(jamie, dustin)
44 27: Found: query | {'Result': 'truth = True'}
45 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op