metodos que avaliam se a movimentacao de um fastasma e possivel a partir de uma consulta em prolog