f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: frequent_swimmer_lake_michigan4 2: Searching: frequent_swimmer_lake_michigan
t5 3: Searching: activity(swimming_lake_michigan, Year1)t5 3: Searching: activity(swimming_lake_michigan, Candidate Variable_0)
6 4: First Solution: Year1 = 1981
7 5: Searching: activity(swimming_lake_michigan, Year2)
8 6: First Solution: Year2 = 1982
9 7: Found: activity(swimming_lake_michigan, 1982)
10 8: Found: activity(swimming_lake_michigan, 1981)6 4: Found: activity(swimming_lake_michigan, 1981)
7 5: Searching: activity(swimming_lake_michigan, Candidate Variable_1)
8 6: Found: activity(swimming_lake_michigan, 1981)
9 7: Searching: 1981\=1981
10 8: Fail: 1981\=1981 | {'Result': 'Search Failed'}
11 
12Looking for other paths: Redo: activity(swimming_lake_michigan, Candidate Variable_1)
13 
14 
15[Path 2]:
16 9: Found: activity(swimming_lake_michigan, 1982)
17 10: Searching: 1981\=1982
18 11: Found: 1981\=1982
19 12: Found: frequent_swimmer_lake_michigan
11 9: Searching: credible_sources_exist20 13: Searching: credible_sources_exist
12 10: Searching: source_credibility(interview, high)21 14: Searching: source_credibility(interview, high)
13 11: Found: source_credibility(interview, high)22 15: Found: source_credibility(interview, high)
14 12: Found: credible_sources_exist23 16: Found: credible_sources_exist
24 17: Found: query | {'Result': 'Yes'}
25 
26Looking for other paths: Redo: credible_sources_exist
27 
28 
29[Path 3]:
30 18: Searching: source_credibility(biography, high)
31 19: Fail: source_credibility(biography, high) | {'Result': 'Search Failed'}
32 20: Fail: credible_sources_exist | {'Result': 'Search Failed'}
33 
34Looking for other paths: Redo: activity(swimming_lake_michigan, Candidate Variable_0)
35 
36 
37[Path 4]:
38 21: Found: activity(swimming_lake_michigan, 1982)
39 22: Searching: activity(swimming_lake_michigan, Candidate Variable_2)
40 23: Found: activity(swimming_lake_michigan, 1981)
41 24: Searching: 1982\=1981
42 25: Found: 1982\=1981
15 13: Found: frequent_swimmer_lake_michigan43 26: Found: frequent_swimmer_lake_michigan
16 14: Found: query44 27: Searching: credible_sources_exist
45 28: Searching: source_credibility(interview, high)
46 29: Found: source_credibility(interview, high)
47 30: Found: credible_sources_exist
48 31: Found: query | {'Result': 'Yes'}
49 
50Looking for other paths: Redo: credible_sources_exist
51 
52 
53[Path 5]:
54 32: Searching: source_credibility(biography, high)
55 33: Fail: source_credibility(biography, high) | {'Result': 'Search Failed'}
56 34: Fail: credible_sources_exist | {'Result': 'Search Failed'}
57 
58Looking for other paths: Redo: activity(swimming_lake_michigan, Candidate Variable_2)
59 
60 
61[Path 6]:
62 35: Found: activity(swimming_lake_michigan, 1982)
63 36: Searching: 1982\=1982
64 37: Fail: 1982\=1982 | {'Result': 'Search Failed'}
65 38: Fail: frequent_swimmer_lake_michigan | {'Result': 'Search Failed'}
66 39: Fail: query | {'Result': 'Search Failed'}
67 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op