Método de Resolução & Prolog