Resolvedor do jogo tetravex implementado no linguagem Prolog.