Síntese de programas dedutiva
Resolução em Lógica
Regra de inferência completa para a lógica de primeira ordem, permitindo deduzir automaticamente novas cláusulas a partir de conjuntos de cláusulas existentes.
← Voltar