Task: Text to Code
Input (English): What are the names of the three artists who have produced the most songs, and how many works did they produce?
Output (English): SELECT T1.artist_name ,  count(*) FROM artist AS T1 JOIN song AS T2 ON T1.artist_name  =  T2.artist_name GROUP BY T2.artist_name ORDER BY count(*) DESC LIMIT 3