It's its own brand of constraint solving, distinct from SAT/CP/SMT/MIP. Like the others it is particularly good at certain classes of problems, despite theoreti

It's its own brand of constraint solving, distinct from SAT/CP/SMT/MIP. Like the others it is particularly good at certain classes of problems, despite theoretically them all being "equivalent" and most of them just using a SAT solver underneath. ASP is best viewed as Datalog++, in that it's a fully declarative logic programming language with some restrictions to allow for efficient solving. It is more expressive than datalog but in turn the solving tech required is a lot more computationally expensive.