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
n4 2: Searching: \+ is_spouse(anthony, daniel)n4 2: Searching: is_spouse(anthony, daniel)
5 3: Searching: married(anthony, daniel)5 3: Searching: married(anthony, daniel)
6 4: Fail: married(anthony, daniel) | {'Result': 'Search Failed'}6 4: Fail: married(anthony, daniel) | {'Result': 'Search Failed'}
t7 5: Found: \+ is_spouse(anthony, daniel)t7 
8Looking for other paths: Redo: is_spouse(anthony, daniel)
9 
10 
11[Path 2]:
12 5: Searching: married(daniel, anthony)
13 6: Fail: married(daniel, anthony) | {'Result': 'Search Failed'}
14 7: Fail: is_spouse(anthony, daniel) | {'Result': 'Search Failed'}
15 
16Looking for other paths: Redo: query
17 
18 
19[Path 3]:
8 6: Searching: \+ is_parent(anthony, daniel)20 8: Searching: is_parent(anthony, daniel)
9 7: Searching: parent(anthony, daniel)21 9: Searching: parent(anthony, daniel)
10 8: Fail: parent(anthony, daniel) | {'Result': 'Search Failed'}22 10: Fail: parent(anthony, daniel) | {'Result': 'Search Failed'}
11 9: Found: \+ is_parent(anthony, daniel)23 11: Fail: is_parent(anthony, daniel) | {'Result': 'Search Failed'}
24 
25Looking for other paths: Redo: query
26 
27 
28[Path 4]:
12 10: Searching: \+ is_sibling(anthony, daniel)29 12: Searching: is_sibling(anthony, daniel)
13 11: Searching: sibling(anthony, daniel)30 13: Searching: sibling(anthony, daniel)
14 12: Fail: sibling(anthony, daniel) | {'Result': 'Search Failed'}31 14: Fail: sibling(anthony, daniel) | {'Result': 'Search Failed'}
15 13: Found: \+ is_sibling(anthony, daniel)32 
33Looking for other paths: Redo: is_sibling(anthony, daniel)
34 
35 
36[Path 5]:
37 15: Searching: sibling(daniel, anthony)
38 16: Fail: sibling(daniel, anthony) | {'Result': 'Search Failed'}
39 17: Fail: is_sibling(anthony, daniel) | {'Result': 'Search Failed'}
40 
41Looking for other paths: Redo: query
42 
43 
44[Path 6]:
16 14: Found: query | {'Result': 'truth = True'}45 18: Found: query | {'Result': 'truth = True'}
46 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op