Cláusula de Horn para niños
Una cláusula de Horn es un tipo especial de regla lógica. Se usa mucho en la lógica proposicional y en la informática. Estas cláusulas son importantes porque ayudan a las computadoras a entender y procesar información de manera eficiente. Reciben su nombre de Alfred Horn, un lógico que las estudió por primera vez en 1951.
Una cláusula de Horn es una afirmación que tiene, como máximo, una parte positiva. Imagina que es como una frase que dice "si pasa esto y esto otro, entonces ocurre aquello".
Contenido
¿Qué es una Cláusula de Horn?
En lógica, una "cláusula" es como una regla o una afirmación. Una cláusula de Horn es un tipo específico de regla. Tiene una idea principal y algunas condiciones. Lo especial es que solo tiene una conclusión positiva.
Por ejemplo, una cláusula de Horn puede decir:
- "Si no es de día O no hay sol, ENTONCES es de noche."
- O, de forma más sencilla, como una regla de "si-entonces": "SI es de día Y hay sol, ENTONCES no es de noche."
Tipos de Cláusulas de Horn
Existen dos tipos principales de cláusulas de Horn:
- Cláusula definida: Es una cláusula de Horn que tiene exactamente una parte positiva. Por ejemplo, "SI llueve Y tengo paraguas, ENTONCES me mojo". La parte "me mojo" es la conclusión positiva.
- Cláusula objetivo o consulta: Es una cláusula de Horn que no tiene ninguna parte positiva. Se usa para hacer preguntas. Por ejemplo, en un programa, podrías preguntar: "¿Es cierto que llueve Y tengo paraguas?". No hay una conclusión nueva, solo una pregunta.
¿Cómo se usan en PROLOG?
Las cláusulas de Horn son la base de un lenguaje de programación llamado PROLOG. PROLOG es un lenguaje de programación lógica, lo que significa que se basa en reglas y hechos para resolver problemas.
En PROLOG, las cláusulas de Horn se escriben de una manera particular.
Ejemplos en PROLOG
Aquí tienes un ejemplo de cómo se ve una cláusula de Horn en PROLOG:
hija(A,B) :- mujer(A), padre(B,A).Esta línea se lee así: "A es hija de B SI A es mujer Y B es padre de A".
En lógica, esto significa: "Si A es mujer Y B es padre de A, entonces A es hija de B".
En PROLOG, el símbolo `:-` significa "si". La parte de la izquierda es la conclusión, y la parte de la derecha son las condiciones. Las variables, como `A` y `B`, siempre empiezan con una letra mayúscula.
Conectores Lógicos en PROLOG
Para que la conclusión de una regla sea válida, todas las condiciones deben cumplirse al mismo tiempo. Por eso, la coma (`,`) que separa las condiciones en PROLOG es como la palabra "y" en español. Significa que todas las condiciones deben ser verdaderas.
Si quieres expresar una opción (como "o"), no se usa un símbolo especial dentro de la misma regla. En cambio, se añaden reglas nuevas al programa. Por ejemplo:
hija(A,B) :- mujer(A), padre(B,A).
hija(A,B) :- mujer(A), madre(B,A).Estas dos reglas se leen así: "A es hija de B si A es mujer y B es padre de A" O "A es hija de B si A es mujer y B es madre de A".
Véase también
En inglés: Horn clause Facts for Kids
- Programación lógica
- Programación declarativa
- Alfred Horn
