cláusulas de Horn estándar fueron inventados en 1951 por el matemático estadounidense Alfred Horn. En sus palabras, una cláusula de cuerno es " una disyunción de literales que tienen a lo sumo un literal positivo. " Una cláusula típica bocina se parece a esto : (no A) o (no B) o C. Lo positivo es literal C, A y B son " negativos". Si la cláusula de cuerno tiene exactamente un literal positivo - como cláusulas de Horn Prolog hacer - que se llama una cláusula de cuerno definido. Cláusulas de Horn se escriben normalmente en un formato simplificado pero equivalentes . La declaración disyuntiva ( no A) o ( no B) o C es lógicamente equivalente a la declaración ( A y B ) implica C. Esto se simplifica a : A, B - : C ( en la que el " - : " representa la flecha implicación) . La cláusula cuerno simple es un literal positivo ( en la que no hay ninguna flecha ) - este es el mismo para ambas cláusulas de Horn y Prolog
Las cláusulas Horn Prolog
< . p> reglas Prolog se parecen a las cláusulas de cuerno , salvo la flecha apunta hacia otro lado. La regla gramatical que una oración se compone de un sintagma nominal y un sintagma verbal se escribe S : - NP, VP . El conjunto de reglas también podría contener el dicho de que un sintagma nominal se compone de un artículo y un sustantivo , escrito NP : - A, N. Si hay otra regla que indica que un sintagma nominal es un sustantivo plural , que se puede escribir NP : - PN . Cuando todas las reglas están en su lugar , el usuario puede presentar una "sentencia " en el programa y el programa tratará de coincidir con la "sentencia " de las reglas. Prolog trabaja hacia atrás por las reglas - si la pregunta coincide con la conclusión ( literal positivo) de una regla, los antecedentes negativos ( literales ) se convierten en los nuevos interrogantes . Si todas las preguntas al final coinciden con los hechos , la "sentencia " es una sentencia válida. Este juego funciona el proceso para las matemáticas , la lógica y otros sistemas basados en reglas , así como que trabaja para la gramática.
La Cláusula Cut
Hay tres tipos de las cláusulas de cuerno que se utilizan en la Prolog : (sin flecha ) declaración de hecho , la regla ( con una flecha , una positiva literal y al menos un literal negativo ) y el corte . Cláusulas Cut contienen el signo "! " símbolo . Cuando el intérprete Prolog ve el símbolo de corte (se pronuncia " bang" ) , elimina las normas restantes que tienen el mismo literal positivo como norma que contiene la explosión . Esto puede tener varios efectos en los programas - que puede representar ciertos resultados negativos , se puede evitar o tratar problemas con fallas, o simplemente puede eliminar parte del espacio de búsqueda y acelerar el programa
< br . >