Gracias a la unificación, cada "objetivo" determina un subconjunto de cláusulas susceptibles de ser ejecutadas.