f1[Path 1]:f1[Path 1]:
2 0: Start of execution: Beginning Search2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: can_score_from_penalty(matt_ryan)4 2: Searching: can_score_from_penalty(matt_ryan)
5 3: Searching: player_position(matt_ryan, Candidate Variable_0)5 3: Searching: player_position(matt_ryan, Candidate Variable_0)
6 4: Found: player_position(matt_ryan, goalkeeper)6 4: Found: player_position(matt_ryan, goalkeeper)
7 5: Searching: score_action(penalty_kick)7 5: Searching: score_action(penalty_kick)
8 6: Found: score_action(penalty_kick)8 6: Found: score_action(penalty_kick)
9 7: Searching: can_score_penalty(matt_ryan)9 7: Searching: can_score_penalty(matt_ryan)
tt10 8: Searching: player_position(matt_ryan, Candidate Variable_1)
11 9: Found: player_position(matt_ryan, goalkeeper)
12 10: Searching: goalkeeper=striker
13 11: Fail: goalkeeper=striker | {'Result': 'Search Failed'}
14 
15Looking for other paths: Redo: can_score_penalty(matt_ryan)
16 
17 
18[Path 2]:
19 12: Searching: goalkeeper=midfielder
20 13: Fail: goalkeeper=midfielder | {'Result': 'Search Failed'}
21 
22Looking for other paths: Redo: can_score_penalty(matt_ryan)
23 
24 
25[Path 3]:
26 14: Searching: goalkeeper=forward
27 15: Fail: goalkeeper=forward | {'Result': 'Search Failed'}
10 8: Fail: can_score_penalty(matt_ryan) | {'Result': 'Search Failed'}28 16: Fail: can_score_penalty(matt_ryan) | {'Result': 'Search Failed'}
11 9: Fail: can_score_from_penalty(matt_ryan) | {'Result': 'Search Failed'}29 17: Fail: can_score_from_penalty(matt_ryan) | {'Result': 'Search Failed'}
12 10: Fail: query | {'Result': 'Search Failed'}30 18: Fail: query | {'Result': 'Search Failed'}
31 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op