Toda a informação que é necessária para executar o programa que lhe é solicitado, será fornecida através dos argumentos do predicado usado para o activar, como se detalha a seguir. O programa deve ser invocado com o predicado
cobertura(NLinhas,NColunas,Lista_Buracos)
em que NLinhas indica o número de linhas do
tabuleiro, NColunas o número de colunas do tabuleiro e Lista_Buracos
é uma lista com as coordenadas b(L,C) dos buracos do
tabuleiro.