Answer Set Programming Added