AULA 15

7 Novembro 2017, 10:30 • Fernando Ferreira

Sentenças de Horn. Cláusulas de Horn. Forma condicional das cláusulas de Horn. O algoritmo da satisfação de Horn.