Paradigmas de programación VI: Programación lógica

Bienvenidos de nuevo a sección de paradigmas, una sección donde ya venimos acumulando nada mas ni nada menos que 5 entradas, pues bíen, vamos a por la sexta, hoy el tema principal gira en torno al concepto de predicado, el cual como concepto en sí mismo tiene varias acepciones, una de ellas y gracias a la cual podemos argumentar esta entrada, está ligada de forma directa con los fundamentos de la programación lógica, que gira en torno a éste elemento, como la programación funcional lo hacia entorno la idea de función.

Pero, ¿De qué estamos hablando exactamente cuando nos referimos al predicado?, para entender éste concepto hechamos mano de una de sus acepciones mas populares, donde el mísmo recoje en un grupo sintáctico el equivalente a un verbo o acción en una frase, por ejemplo:
"Juan sabe programar en java", si entendemos que el predicado de ésta oración es: "sabe programar en java" y éste se asocia a la variable Juan, hemos recogido la información del predicado como un factor determinante en operaciones que requieran preguntar si sabe o no "programar en java", así como operaciones lógicas con la condición "si sabe programar" , "si sabe programar en java" (Siendo ésta más específica) o "si no sabe programar en java", si ahora añadimos las variables Jose "Jose sabe programar en java" y Daniel "Daniel no sabe programar en java", en una operación:
Pseudocódigo:
Imprimir("Saben programar en java" ) +variable+" Nombre") si predicado = "sabe programar en java" 
Salida: Saben programar en java Jose y Juan
Si formulásemos la operación condicional opuesta se nos devolvería Daniel, en la programación lógica,
las condicionales tienen una gran relevancia, puesto que el principio básico de la misma es responder incógnitas, Usando la lógica de primer orden, en la mayoría de casos.
Programación lógica de BD en Java (Con Prolog):

Tutoriales de Prolog (Primera clase):

Libros Recomendados: Programación lógica, Tomo 1, Construcción de programas
Nota # Lógica del primer orden:
Rama de las matemáticas engloba diferentes tipos de relaciones binarias que capturan la noción intuitiva del orden matemático.
En conclusión, es una propuesta más que interesante para los que ya conozcan éstos campos, como materia didáctica y para enfocar desde un punto de vista cercano de forma natural al razonamiento humano más que a la forma de proceder de la máquina.