Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to mod...