declarativo

Declarativo es un término usado en lingüística, informática y ciencias de la información para describir enfoques que expresan hechos, relaciones o reglas sin detallar un procedimiento de ejecución paso a paso.

En lingüística, una oración declarativa es aquella que afirma algo y transmite información. Se distingue de las preguntas o las órdenes y, en muchos idiomas, se caracteriza por su estructura típica y uso en el discurso diario. Ejemplos: "La Tierra orbita alrededor del Sol."

En informática, el paradigma declarativo contrasta con el imperativo o procedimental. Los programas declarativos especifican qué resultado se desea obtener y, con frecuencia, qué relaciones deben cumplirse, dejando al sistema la tarea de determinar el flujo de control. SQL, Prolog y, en menor medida, ciertos lenguajes funcionales como Haskell, son ejemplos destacados. Las ventajas incluyen mayor abstracción, facilidad de razonamiento y menor acoplamiento con efectos secundarios; las desventajas pueden ser menor control explícito sobre el rendimiento y una curva de aprendizaje para resolver problemas complejos de forma declarativa.

Se aplica en bases de datos para consultas, en razonamiento automático e inteligencia artificial para definir reglas, y en definiciones de políticas o configuraciones de sistemas. También se utiliza para describir conocimiento en ontologías y en lenguajes de descripción lógica.

Ejemplos simples: en SQL, "SELECT nombre FROM empleados WHERE salario > 50000". En Prolog, "padre(juan, maria)."