Algoritmo que resolve o jogo Same em Prolog