The program does not describe the procedure with the problem solution, but only which result is to stand at the end. It is left then to the program to look for itself with the help of appropriate algorithms the correct solution way.
Declarative programming provides a constant to check to ensure that the problem is solved correctly, but does not include instructions on how to solve the problem. The exact way the problem is solved is defined by the programming languageimplementation through models. Declarative programming is also referred to as model-based programming.
Programming paradigms that follow the principle of declarative programming are functional programming and logical programming.