Декларативное программирование — это programming paradigm, которая выражает, чего computation должна достичь, а не задает detailed control flow для достижения результата. Logic programming, database query languages и некоторые rule-based systems являются распространенными examples of declarative approaches.