O predicado cobertura/3 deve ser executado com sucesso se for possível cobrir perfeitamente o tabuleiro com pedras de dominó e deve falhar se tal não for possível.