An Answer Set Programming system to ground and solve logic programs.
