Declarative programs instead describe what problem to solve and what a solution would look like. The program is then fed to a very general algorithm (a “solver”) that can solve a wide range of ...