Lógica De Programación

1. Campos de aplicación

1.1. La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionadas:

1.1.1. Sistemas expertos, donde un sistema de información imita las recomendaciones de un experto 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.

2. Lenguajes

2.1. El lenguaje de programación lógica por excelencia es Prolog, que cuenta con diversas variantes. La más importante es la programación lógica con restricciones (véase artículo sobre programación con restricciones), que posibilita la resolución de ecuaciones lineales además de la demostración de hipótesis.

3. Fundamentos

3.1. La mayoría de los lenguajes de programación lógica se basan en la teoría lógica de 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 lambda, que es la única teoría lógica de orden superior que es demostradamente computable (hasta el momento).

4. La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa.

5. algoritmo en lógica de programación

5.1. El algoritmo es la propia secuencia de instrucciones para la ejecución de una tarea. De una forma más simple, el algoritmo es una receta o ruta que indica todos los procedimientos necesarios para realizar algo o resolver un problema.

5.2. Algoritmo “Papa-frita” Inicio: Tomar las papas Pelar las papas Cortar las papas en tiras Tomar el sartén y colocarla sobre la estufa Encender el fuego de la estufa Colocar el sartén con aceite para calentar Esperar hasta que el aceite esté caliente Colocar las papas para freir Aguardar 10 minutos hasta que las papas estén fritas Retirar las papas y servir Fin