This is a translator from the language L to Answer Set Prolog(ASP)