Programming languages such as Prolog support the (1)__________ programming paradigm because they encourage programmers to describe a(n) (2)___________ rather than its solution.
declarative, problem