4.8.6.
Cláusulas de Horn
La forma de las cláusulas de Horn es la misma que en lógica de proposiciones (Apartado
3.8.6
), con la diferencia de que los literales son átomos o átomos negados.
DIT-ETSIT-UPM
Portada
DIT-ETSIT-UPM