Algunos ejemplos métodos lógicos de resolución bien conocidos son: