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: has_bicycle_kick_goal(vincent_kompany)4 2: Searching: has_bicycle_kick_goal(vincent_kompany)
5 3: Searching: special_goal(vincent_kompany, bicycle_kick)5 3: Searching: special_goal(vincent_kompany, bicycle_kick)
6 4: Found: special_goal(vincent_kompany, bicycle_kick)6 4: Found: special_goal(vincent_kompany, bicycle_kick)
7 5: Found: has_bicycle_kick_goal(vincent_kompany)7 5: Found: has_bicycle_kick_goal(vincent_kompany)
n8 6: Searching: list_extraordinary_goals(vincent_kompany, Goals)n8 6: Searching: list_extraordinary_goals(vincent_kompany, Candidate Variable_0)
9 7: Searching: findall(Goal, special_goal(vincent_kompany, Goal), Goals)9 7: Searching: findall(Candidate Variable_1, special_goal(vincent_kompany, _16934), Candidate Variable_0)
10 8: Searching: special_goal(vincent_kompany, Candidate Variable_0)10 8: Searching: special_goal(vincent_kompany, Candidate Variable_1)
11 9: Found: special_goal(vincent_kompany, bicycle_kick)11 9: Found: special_goal(vincent_kompany, bicycle_kick)
t12 10: Exit - Setup Searching: special_goal(vincent_kompany, Candidate Variable_0)t12 10: Found: findall(Candidate Variable_1, user:special_goal(vincent_kompany, _16934), [bicycle_kick])
13 11: Found: findall([bicycle_kick], [bicycle_kick], [bicycle_kick])
14 12: Found: list_extraordinary_goals(vincent_kompany, [bicycle_kick])13 11: Found: list_extraordinary_goals(vincent_kompany, [bicycle_kick])
15 13: Comment: Vincent Kompany has scored the following extraordinary goals: 14 12: Comment: Vincent Kompany has scored the following extraordinary goals:
16 14: Comment: [bicycle_kick]15 13: Comment: [bicycle_kick]
17 15: Searching: write([bicycle_kick])
18 16: Found: write([bicycle_kick])
19 17: Searching: nl16 14: Searching: nl
20 18: Found: nl17 15: Found: nl
21 19: Found: query | {'Result': 'query'}18 16: Found: query | {'Result': 'query'}
19 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op