Various aspects of the program state can be inspected: the clauses of all or selected dynamic procedures, currently available atoms, user defined predicates, source files of predicates and clauses, predicate properties and the current load context can all be accessed by calling the predicates listed in ref-lps-ove. Furthermore, the values of prolog flags can be inspected and, where it makes sense, changed.