f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Begining Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: has_rollercoaster(forbidden_city) | | 2: Searching: has_rollercoaster(forbidden_city) |
t | | t | 3: Searching: world_heritage_site(forbidden_city, Candidate Variable_0, Candidate Variable_1) |
| 3: Searching: world_heritage_site(forbidden_city, beijing, [ming, qing]) | | 4: Found: world_heritage_site(forbidden_city, beijing, [ming, qing]) |
| 4: Searching: world_heritage_site(forbidden_city, beijing, ming) | | |
| 5: Searching: current_attractions(forbidden_city, Attractions) | | 5: Searching: current_attractions(forbidden_city, Candidate Variable_2) |
| 6: Searching: current_attractions(forbidden_city, cultural_exhibits) | | 6: Found: current_attractions(forbidden_city, cultural_exhibits) |
| 7: Searching: lists:member(rollercoaster_, cultural_exhibits) | | 7: Searching: lists:member |
| 8: Fail: lists:member(rollercoaster_, cultural_exhibits) | {'Result': 'Search Failed'} | | 8: Fail: lists:member | {'Result': 'Search Failed'} |
| 9: Searching: architecture(forbidden_city, Materials) | | |
| 10: Searching: architecture(forbidden_city, [wood, stone]) | | |
| 11: Searching: cultural_impact(Impact) | | |
| 12: Searching: cultural_impact(negative) | | |
| 13: Searching: Impact=negative | | |
| 14: Fail: has_rollercoaster(forbidden_city) | {'Result': 'Search Failed'} | | 9: Fail: has_rollercoaster(forbidden_city) | {'Result': 'Search Failed'} |
| 15: Fail: query | {'Result': 'Search Failed'} | | 10: Fail: query | {'Result': 'Search Failed'} |
| | | |