Declarative approaches (like answer set programming, or satisfiability modulo theories) revolve around expressing what the final result should look like, with n

Declarative approaches (like answer set programming, or satisfiability modulo theories) revolve around expressing what the final result should look like, with no regard for how the result is achieved.