Implemente um programa Prolog para determinar se um tabuleiro (eventualmente com buracos) pode ser coberto perfeitamente por peças de dominó.