add query finder prolog.