Discusión:Cláusula de Horn
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.
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]