Lenguajes de programación lógica e internet.

2839 palabras 12 páginas
ENSAYO DE PROGRAMACIÓN DECLARATIVA.
LENGUAJES DE PROGRAMACIÓN LÓGICA E INTERNET.

María José Gálvez Trigo.

El tema que nos ocupa en este ensayo es: los lenguajes de programación lógica e Internet. Primeramente haremos una breve introducción a la programación lógica y la programación funcional, para pasar a hablar de los lenguajes multiparadigma, en concreto de los lógico-funcionales, pues son los usados para la programación en Internet. También hablaremos de Curry, un ejemplo de lenguaje lógico-funcional usado para la programación en Internet, y de las aplicaciones que nos ofrece dicho lenguaje.

La programación lógica consiste en la aplicación del conocimiento sobre la lógica para el diseño de lenguajes de programación. En los
…ver más…
Para mejorar ciertos aspectos recurrimos a las llamadas estrategias de narrowing. Hay numerosas estrategias para reducir el campo de búsqueda, eliminando ciertas derivaciones innecesarias, lo que nos ahorraría tiempo y proporcionaría eficiencia, pero aquí hablaremos sobre todo del lazy narrowing y del needed narrowing.

El lazy narrowing se hereda de la parte funcional, de Haskell, como una ventaja que garantiza la terminación siempre que esto sea posible y resulte eficiente, y requiere menos pasos que otras estrategias. Comienza a reducir las expresiones por su exterior, desde la posición más externa en la cual podemos dar un paso de narrowing, así sólo aplicaremos pasos de narrowing a las posiciones internas si es necesario y ayuda a un paso de narrowing posterior sobre una posición más externa. Este procedimiento de basa en la unificación lineal. La unificación lineal difiere de la sintáctica estándar en que en la lineal, la colisión entre un símbolo de operación y un constructor solicita una mayor evaluación, no significa un fracaso, no precisamos de mecanismos de “occur.check”. Esta estrategia reduce el espacio de búsqueda del narrowing general, pero aún así seguimos teniendo problemas de cómputos innecesarios y derivaciones redundantes, así como tener que recurrir

Documentos relacionados

  • Lenguaje de programacion
    2206 palabras | 9 páginas
  • Lenguaje De Programación Pld
    1225 palabras | 5 páginas
  • Resumen Lenguajes De Programación
    739 palabras | 4 páginas
  • informe de lenguaje de programacion
    2462 palabras | 10 páginas
  • Lenguaje De Programación C#
    3461 palabras | 14 páginas
  • Lenguajes De Programacion Orientada a Eventos
    1378 palabras | 6 páginas
  • Lenguaje De Programacion De Lado Cliente
    2039 palabras | 9 páginas
  • Historia De Los Lenguajes De Programación
    12451 palabras | 50 páginas
  • Examen de windows e internet
    975 palabras | 4 páginas
  • Evolución del lenguaje de programación orientado a objetos
    770 palabras | 4 páginas