Resolvedor do jogo tetravex implementado na linguagem Prolog.