Dado que é possível cobrir perfeitamente um tabuleiro de 2x2 que tem 0 buracos ([]), cobertura(2,2,[]) deve ser executado com sucesso:
?-cobertura(2,2,[]).
yes
Uma vez que um tabuleiro de 2x2 com um buraco em 1x1, ou seja, ao qual foi retirado um canto, não pode ser coberto perfeitamente, cobertura(2,2,[b(1,1)]) deve falhar:
?-cobertura(2,2,[b(1,1)]).
no