It is occasionally useful to find out various aspects of the system's knowledge --- e.g. the known atoms that are not used by the system, the predicates defined by the user or the predicates defined by the system. We only mention these facilities in passing.