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: has_rollercoaster(forbidden_city)4 2: Searching: has_rollercoaster(forbidden_city)
tt5 3: Searching: world_heritage_site(forbidden_city, Candidate Variable_0, Candidate Variable_1)
5 3Searching: world_heritage_site(forbidden_city, beijing, [ming, qing])6 4Found: world_heritage_site(forbidden_city, beijing, [ming, qing])
6 4: Searching: world_heritage_site(forbidden_city, beijing, ming)
7 5: Searching: current_attractions(forbidden_city, Attractions)7 5: Searching: current_attractions(forbidden_city, Candidate Variable_2)
8 6: Searching: current_attractions(forbidden_city, cultural_exhibits)8 6: Found: current_attractions(forbidden_city, cultural_exhibits)
9 7: Searching: lists:member(rollercoaster_, cultural_exhibits)9 7: Searching: lists:member
10 8: Fail: lists:member(rollercoaster_, cultural_exhibits) | {'Result': 'Search Failed'}10 8: Fail: lists:member | {'Result': 'Search Failed'}
11 9: Searching: architecture(forbidden_city, Materials)
12 10: Searching: architecture(forbidden_city, [wood, stone])
13 11: Searching: cultural_impact(Impact)
14 12: Searching: cultural_impact(negative)
15 13: Searching: Impact=negative
16 14: Fail: has_rollercoaster(forbidden_city) | {'Result': 'Search Failed'}11 9: Fail: has_rollercoaster(forbidden_city) | {'Result': 'Search Failed'}
17 15: Fail: query | {'Result': 'Search Failed'}12 10: Fail: query | {'Result': 'Search Failed'}
13 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op