Achievements in Answer Set Programming