Una fórmula lógica es una cláusula de

Horn si es una cláusula (disyuncion de

literales) con, como máximo, un literal
positivo. Esto es un ejemplo de la cláusula de Horn ¬p
∨¬q∨…∨¬t∨u

Una formula de Horn es una cadena Una cláusula de Horn con exactamente un literal
textual (string) de cuantificadores positivo es una cláusula "definite "; en álgebra
Fórmula Lógica existenciales o universales seguidos por un universal las cláusulas "definites" resultan
aconjuncion de clausulas de Horn. (aparecen) como cuasidentidades .
Se llaman así por el lógico Alfred Horn , el
primero en señalar la importancia de estas
clausulas en 1951.

Programación Lógica con Cláusulas de Horn con literal positivo

cláusulas de Horn

Una cláusula de Horn sin ningun literal

positivo es aveces llamada cláusula
objetivo (goal) o consulta (query),
especialmente en programacion logica.

Obsérvese que , en PROLOG , el simbolo Claúsulas de Horn en

:­ se para la conclusion de las
condiciones.En PROLOG, las variablesse
Prolog
escriben comenzando por una letra
mayuscula.

Uso en Prolog

La sintaxis de una cláusula de Horn en

PROLOG tiene el siguiente aspecto:
hija(A, B):­ mujer (A), padre (B, A).

que prodria leerse asi: " A es hija de B si A

es mujer y B es padre de A ". En terminos (mujer(A) ∧ padre(B, A))→hija(A,B)
lógicos representa la siguiente implicacion:
Todas las condiciones deben cumplirse
simultaneamente para que la conclusion
sea válida ; por tanto , la coma (en algunas
versiones de PROLOG se sustituye la
coma por el simbolo & )que separan las
distintas condiciones es equivalente a la
conjuncion copulativa

Bibliografia

Filosofia del paradigma

https://ferestrepoca.github.io/paradigmas­de­programacion/proglogica/logica_teoria/proglogica.html

Programación lógica con cláusula de Horn

https://prezi.com/wplool­wnjgy/programacion­logica­con­clausulas­de­horn/

Cláusulas de Horn Lógica de Programas

https://user.exa.unicen.edu.ar/catedras/ccomp2/ClaseLogicaProgramas.pdf