Este

Los programas de ordenador se pueden clasificar según el paradigma del lenguaje de programaciónutilizado para producirlos. Dos de los principales paradigmas son imperativos y declarativos.
Losprogramas escritos con un lenguaje imperativo especifican un algoritmo utilizando declaraciones, expresiones e informes.3 Una declaración asocia un nombre de variable a un tipo de datos. Por ejemplo: varx: integer; . Una expresión produce un valor. Por ejemplo: 2 + 2 produce 4. Por último, una declaración puede asignar una expresión a una variable o usar el valor de una variable para alterarlas estructuras de control del programa. Por ejemplo: x := 2 + 2; if x = 4 then hacer_algo(); Una crítica de los lenguajes imperativos es el efecto secundario de una sentencia de asignación en una clase devariables llamadas variables no locales.4
Los programas escritos en un lenguaje declarativo especifican las propiedades que tienen o que deben cumplirse para la salida. No especifican detalles expresados​​en términos de flujo de control de la máquina de ejecución pero sí de las relaciones matemáticas entre los objetos declarados y sus propiedades. Los lenguajes funcionales y lógicos son dos ampliascategorías de lenguajes declarativos. El principio detrás de los lenguajes funcionales (como Haskell) es el de no permitirefectos secundarios, lo que hace que sea más fácil para razonar sobre losprogramas como si se tratasen de funciones matemáticas.4 El principio detrás de los lenguajes lógicos (como Prolog) es definir el problema a ser resuelto - la meta - y dejar la solución detallada alpropio sistema Prolog.5 El objetivo se define proporcionando la lista de sub-objetivos. Luego, cada subobjetivo se define más arriba, proporcionando la lista de sus sub-objetivos, etc. Si la ruta desub-objetivos no encuentra una solución, entonces ese subobjetivo se retrocede y otra vía se intenta sistemáticamente.
La forma en que se crea el programa puede ser textual o visual. En un programa de...