Additional information: setting a breakpoint can be done at Coral prompt by typing: set_break(, ...). The arguments after module name are optional. It specifies which Sccs and which rules in the Scc to break on. E.g. set_break(anc, scc0, rule1, rule0). or: set_break(anc, all). need a clear_break(...) that works similarly. For details, please refer to BreakSolver in builtin/Solvers.C print_module: > The print_module builtin prints a module with the given name. > For example, print_module(anc0). > prints the module named 'anc0'. Neither Raghu or Praveen like this. They would like the interface to be similar to trace_on(), explain_on(), etc. taking a predicate name with the annotations: print_module(anc(bf)). or print_module(anc_bf). > I have implemented print_module_of. To use it, type: > print_module_of(, ). > e.g. print_module_of(anc, bb). > print_module_of(anc, bf).