Termination of logic programs with imperfect information: applications and query procedure