Logica De Programacion

La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativason: programación funcional, programación con restricciones, programas DSL (de dominio específico) e híbridos. La programación funcional se basa en el concepto de función (que no es más que unaevolución de los predicados), de corte más matemático. La programación lógica gira en torno al concepto de predicado, o relación entre elementos.
Históricamente, los ordenadores se han programadoutilizando lenguajes muy cercanos a las peculiaridades de la propia máquina: operaciones aritméticas simples, instrucciones de acceso a memoria, etc. Un programa escrito de esta manera puede ocultar totalmente supropósito a la comprensión de un ser humano, incluso uno entrenado. Hoy día, estos lenguajes pertenecientes al paradigma de la Programación imperativa han evolucionado de manera que ya no son tancrípticos.
La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionada: Sistemas expertos, donde un sistema de información imita las recomendaciones de unexperto sobre algún dominio de conocimiento.
* Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
* Reconocimiento de lenguaje natural,donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.
* Etc.
La programación lógica también se utiliza en aplicaciones más"mundanas" pero de manera muy limitada, ya que la programación tradicional es más adecuada a tareas de propósito general.
La mayoría de los lenguajes de programación lógica se basan en la teoría lógicade primer orden, aunque también incorporan algunos comportamientos de orden superior como la lógica difusa. En este sentido, destacan los lenguajes funcionales, ya que se basan en el cálculo...