modificacao de carregaBC para possibilitar uma melhor integracao com c++/c#, exemplo de como ligar ao prolog em c++