f1[Path 1]:f1[Path 1]:
n20: Start of execution: Beginning Searchn2 0: Start of execution: Beginning Search
31: Searching: query3 1: Searching: query
42: Searching: can_ski(steamboat_springs, august)4 2: Searching: can_ski(steamboat_springs, august)
53: Searching: average_temperature(steamboat_springs, august, cold)5 3: Searching: average_temperature(steamboat_springs, august, cold)
64: Fail: average_temperature(steamboat_springs, august, cold) | {'Result': 'Search Failed'}6 4: Fail: average_temperature(steamboat_springs, august, cold) | {'Result': 'Search Failed'}
77
8Looking for other paths: Redo: can_ski(steamboat_springs, august)8Looking for other paths: Redo: can_ski(steamboat_springs, august)
99
1010
11[Path 2]:11[Path 2]:
t125: Searching: indoor_skiing_available(steamboat_springs, yes)t12 5: Searching: indoor_skiing_available(steamboat_springs, yes)
136: Fail: indoor_skiing_available(steamboat_springs, yes) | {'Result': 'Search Failed'}13 6: Fail: indoor_skiing_available(steamboat_springs, yes) | {'Result': 'Search Failed'}
147: Fail: can_ski(steamboat_springs, august) | {'Result': 'Search Failed'}14 7: Fail: can_ski(steamboat_springs, august) | {'Result': 'Search Failed'}
158: Fail: query | {'Result': 'Search Failed'}15 8: Fail: query | {'Result': 'Search Failed'}
16 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op