Discusión:Cláusula de Horn
Apariencia
Ya hay una definición de Prolog bastante extensa. Este artículo debería centrarse en las cláusulas de Horn, su notación, lo que es una fórmula de Horn, y tras todo esto un comentario de cómo se utiliza en Prolog.