Used Answer Set Prolog.