Discusión:Cláusula de Horn
Último comentario: hace 15 años por 212.170.176.105
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.