f | [Path 1]: | f | [Path 1]: |
n | 0: Start of execution: Beginning Search | n | 0: Start of execution: Beginning Search |
| 1: Searching: query | | 1: Searching: query |
| 2: Searching: performed_together(robert_plant, ernest_chataway) | | 2: Searching: performed_together(robert_plant, ernest_chataway) |
| 3: Searching: performance_history(robert_plant, Candidate Variable_0, Candidate Variable_1) | | 3: Searching: performance_history(robert_plant, Candidate Variable_0, Candidate Variable_1) |
| 4: Searching: performance_history(robert_plant, led_zeppelin_years, solo_career) | | 4: Found: performance_history(robert_plant, led_zeppelin_years, solo_career) |
| 5: Searching: performance_history(ernest_chataway, collaboration_with, recording_history) | | 5: Searching: performance_history(ernest_chataway, Candidate Variable_2, Candidate Variable_3) |
| 6: Searching: performance_history(ernest_chataway, collaboration_with, recording_history) | | 6: Found: performance_history(ernest_chataway, collaboration_with, recording_history) |
| 7: Searching: member(robert_plant, collaboration_with) | | 7: Searching: lists:member |
| 8: Fail: member(robert_plant, collaboration_with) | {'Result': 'Search Failed'} | | 8: Fail: lists:member | {'Result': 'Search Failed'} |
| | | 9: Fail: performed_together(robert_plant, ernest_chataway) | {'Result': 'Search Failed'} |
| | | |
n | Looking for other paths: Redo: performance_history(ernest_chataway, collaboration_with, recording_history) | n | Looking for other paths: Redo: query |
| | | |
| | | |
| [Path 2]: | | [Path 2]: |
n | 9: Searching: performance_history(ernest_chataway, collaboration_with, recording_history) | n | 10: Searching: mutual_venue(Candidate Variable_4) |
| 10: Searching: member(robert_plant, collaboration_with) | | 11: Searching: venue_appearance(robert_plant, Candidate Variable_5) |
| 11: Fail: member(robert_plant, collaboration_with) | {'Result': 'Search Failed'} | | 12: Searching: performance_history(robert_plant, Candidate Variable_6, Candidate Variable_7) |
| 12: Fail: performed_together(robert_plant, ernest_chataway) | {'Result': 'Search Failed'} | | 13: Found: performance_history(robert_plant, led_zeppelin_years, solo_career) |
| | | 14: Searching: lists:member |
| | | 15: Fail: lists:member | {'Result': 'Search Failed'} |
| | | 16: Fail: venue_appearance(robert_plant, Candidate Variable_5) | {'Result': 'Search Failed'} |
| | | 17: Fail: mutual_venue(Candidate Variable_8) | {'Result': 'Search Failed'} |
| 13: Fail: query | {'Result': 'Search Failed'} | | 18: Fail: query | {'Result': 'Search Failed'} |
| | | |
t | | t | |
| Looking for other paths: Redo: performance_history(robert_plant, Candidate Variable_0, Candidate Variable_1) | | |
| | | |
| | | |
| [Path 3]: | | |
| 14: Searching: performance_history(robert_plant, led_zeppelin_years, solo_career) | | |
| 15: Searching: performance_history(ernest_chataway, collaboration_with, recording_history) | | |
| 16: Searching: performance_history(ernest_chataway, collaboration_with, recording_history) | | |
| 17: Searching: member(robert_plant, collaboration_with) | | |
| 18: Fail: member(robert_plant, collaboration_with) | {'Result': 'Search Failed'} | | |
| 19: Fail: performed_together(robert_plant, ernest_chataway) | {'Result': 'Search Failed'} | | |
| 20: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| | | |
| Looking for other paths: Redo: performance_history(robert_plant, Candidate Variable_0, Candidate Variable_1) | | |
| | | |
| | | |
| [Path 4]: | | |
| 21: Searching: performance_history(robert_plant, led_zeppelin_years, solo_career) | | |
| 22: Searching: performance_history(ernest_chataway, collaboration_with, recording_history) | | |
| 23: Searching: performance_history(ernest_chataway, collaboration_with, recording_history) | | |
| 24: Searching: member(robert_plant, collaboration_with) | | |
| 25: Fail: member(robert_plant, collaboration_with) | {'Result': 'Search Failed'} | | |
| 26: Fail: performed_together(robert_plant, ernest_chataway) | {'Result': 'Search Failed'} | | |
| 27: Fail: query | {'Result': 'Search Failed'} | | |
| | | |
| | | |
| Looking for other paths: Redo: mutual_venue(_) | | |
| | | |
| | | |
| [Path 5]: | | |
| 28: Searching: venue_appearance(robert_plant, Candidate Variable_2) | | |
| 29: Searching: performance_history(robert_plant, _, Venues) | | |
| 30: Searching: performance_history(robert_plant, led_zeppelin_years, solo_career) | | |
| 31: Searching: member(Candidate Variable_2, solo_career) | | |
| 32: Fail: member(Candidate Variable_2, solo_career) | {'Result': 'Search Failed'} | | |
| | | |
| Looking for other paths: Redo: performance_history(robert_plant, _, Venues) | | |
| | | |
| | | |
| [Path 6]: | | |
| 33: Searching: performance_history(robert_plant, led_zeppelin_years, solo_career) | | |
| 34: Searching: member(Candidate Variable_3, led_zeppelin_years) | | |
| 35: Fail: member(Candidate Variable_3, led_zeppelin_years) | {'Result': 'Search Failed'} | | |
| | | |
| Looking for other paths: Redo: member(Candidate Variable_2, solo_career) | | |
| | | |
| | | |
| [Path 7]: | | |
| 36: Redo: member(Candidate Variable_2, solo_career) | | |
| 37: Searching: member(Candidate Variable_2, solo_career) | | |
| 38: Searching: venue_appearance(ernest | | |