A
Answer Set Programming