Lenguaje de programación declarativo


Lenguaje de programación declarativo

Lenguaje de programación declarativo

En ciencias computacionales, los lenguajes declarativos son aquellos lenguajes de programación en los cuales se le indica a la computadora que es lo que se desea obtener o que es lo que se está buscando.

Tienen como característica ser fiables, elegantes y expresivos.

Existen varios tipos de lenguajes declarativos:

  • Los lenguajes lógicos, como Prolog.
  • Los lenguajes algebraicos, como Maude y SQL
  • Los lenguajes funcionales, como Haskell

Véase también

Obtenido de "Lenguaje de programaci%C3%B3n declarativo"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Lenguaje de programación declarativo — Se les conoce como lenguajes declarativos en ciencias computacionales aquellos lenguajes de programación en los cuales se le indica a la computadora que es lo que se desea obtener o que es lo que se esta buscando, p. ej. Obtener los nombres de… …   Enciclopedia Universal

  • Lenguaje de programación Gödel — Saltar a navegación, búsqueda Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many sorted logic con… …   Wikipedia Español

  • Lenguaje de programación Gödel — Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación con lógica. Es un lenguaje fuertemente tipificado, con un sistema de tipos basado en many sorted logic con polimorfismo… …   Enciclopedia Universal

  • Lenguaje de programación — Captura de la microcomputadora Commodore PET 32 mostrando un programa en el lenguaje de programación BASIC, bajo el emulador VICE en una distribución GNU/Linux. Un lenguaje de programación es un idioma artificial diseñado para expresar… …   Wikipedia Español

  • Lenguaje de programación multiparadigma — Un lenguaje de programación multiparadigma es el cual soporta más de un paradigma de programación. Según lo describe Bjarne Stroustrup, permiten crear “programas usando más de un estilo de programación”. El objetivo en el diseño de estos… …   Wikipedia Español

  • Gödel (lenguaje de programación) — Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many sorted logic con polimorfismo parametrizado. Se… …   Wikipedia Español

  • Programación declarativa — La Programación Declarativa, en contraposición a la programación imperativa es un paradigma de programación que está basado en el desarrollo de programas especificando o declarando un conjunto de condiciones, proposiciones, afirmaciones,… …   Wikipedia Español

  • Lenguajes de programación Von Neumann — Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a… …   Wikipedia Español

  • Mercury (lenguaje) — Mercury es un lenguaje lógico funcional, es decir, integra soluciones puras y computación con información parcial. Contenido 1 Historia 2 Tipacion de datos 3 Determinismo 4 Ventajas …   Wikipedia Español

  • MHEG-5 — MHEG 5, o ISO/IEC 13522 5,es un estándar completo para TV interactiva y fue desarrollado por el MHEG (ISO Multimedia and Hypermedia information coding Expert Group) y el Digital Audio Video Council (DAVIC) desde 1995. Es parte de un sistema de… …   Wikipedia Español