Que es el paradigma de programación

Paradigma de programación basado en la lógica de primer orden, la Programación

Lógica estudia el uso de la lógica para el planteamiento de problemas y el control
sobre las reglas de inferencia para alcanzar la solución automática,
La programación lógica es un tipo de paradigmas de programación dentro del
paradigma de programación declarativa. El resto de los sub paradigmas de
programación dentro de la programación declarativa son: 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 una evolució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.

Aplicaciones de la programación lógica

1. Desarrollo de aplicaciones de inteligencia artificial.

2. Prueba de teoremas de forma automática, donde un programa genera nuevos
teoremas sobre una teoría existente.
3. Construcción de Sistemas expertos, donde un Sistema de información mita las
recomendaciones de un experto sobre algún dominio de conocimiento.
4. Procesamiento del lenguaje natural, donde un programa es capaz de
comprender (con limitaciones) la información contenida en una expresión
lingüística humana.
5. Sistemas expertos donde un sistema de información imita las recomendaciones
de un experto sobre algún dominio de conocimiento.
6. Demostración automática de teoremas, donde un programa genera nuevos
teoremas sobre una teoría existente.
7. Reconocimiento de lenguaje natural, donde un programa es capaz de
comprender (con limitaciones) la información contenida en una expresión
lingüística humana