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.

--212.170.176.105 (discusión) 16:21 27 ene 2009 (UTC)Responder

Volver a la página «Cláusula de Horn».