1: 1 1 CALL pred completion.main/2-0 (det) completion.m:13 mdb> echo on echo on Command echo enabled. mdb> register --quiet register --quiet mdb> ? document maxdepth scroll P document_category mindepth set alias down mm_stacks source all_class_decls e mmc_options stack all_regs echo modules stack_regs all_type_ctors enable next step b exception nondet_stack subgoal break excp p table browse f pneg_stack table_io c finish print term_size cc_query flag print_optionals trust class_decl forward printlevel trusted clear_histogram g proc_stats type_ctor consumer gen_stack procedures unalias context goal_paths query unhide_events continue goto quit untrust current h r up cut_stack help register v d histogram_all retry var_details dd histogram_exp return var_name_stats dd_dd ignore s vars debug_vars io_query save view delete label_stats save_to_file disable level scope mdb> h h help histogram_all histogram_exp mdb> help v var_details var_name_stats vars view mdb> help va var_details var_name_stats vars mdb> help vars help vars vars Prints the names of all the known variables in the current environment, together with an ordinal number for each variable. mdb> p --flat * --pretty -f -v exception --flat --verbose -p DCG_0 goal mdb> p --flat DCG_0 p --flat DCG_0 DCG_0 (arg 1) state('<>') mdb> sta stack stack_regs mdb> stack --detailed stack --detailed 0 1 1 1 pred completion.main/2-0 (det) (completion.m:13) (empty) mdb> proc proc_stats procedures mdb> procedures complet completion completion.sub2 completion.sub1 completion.sub2.sub3 mdb> procedures completion. completion.sub1 completion.sub2 completion.sub2.sub3 mdb> procedures completion.sub1 procedures completion.sub1 List of procedures in module `completion.sub1' pred completion.sub1.zp/1-0 (det) func completion.sub1.z1/0-0 (det) mdb> set --flat format pretty set --flat format pretty mdb> unalias excp unalias excp Alias `excp' removed. mdb> b zabc3 b zabc3 0: + stop interface func completion.sub2.sub3.zabc3/0-0 (det) mdb> b func*complet func*completion. func*completion.sub2. func*completion.sub1. func*completion.sub2.sub3. mdb> b func*completion.z func*completion.z func*completion.zz mdb> b func*completion.z b func*completion.z 1: + stop interface func completion.z/0-0 (det) mdb> b complet completion. completion.sub2. completion.sub1. completion.sub2.sub3. mdb> b completion.s completion.sub1. completion.sub2. completion.sub2.sub3. mdb> b completion.sub1 completion.sub1.z1 completion.sub1.zp mdb> b completion.sub1.z1 b completion.sub1.z1 2: + stop interface func completion.sub1.z1/0-0 (det) mdb> b complet completion. completion.sub2. completion.sub1. completion.sub2.sub3. mdb> b completion.s completion.sub1. completion.sub2. completion.sub2.sub3. mdb> b completion.sub2 completion.sub2. completion.sub2.sub3. mdb> b completion.sub2.sub3.zabc3 b completion.sub2.sub3.zabc3 3: + stop interface func completion.sub2.sub3.zabc3/0-0 (det) mdb> 2d 2d 2debug_vars 2document 2dd 2delete 2document_category 2dd_dd 2disable 2down mdb> 2de 2debug_vars 2delete mdb> 2delete 2delete 2: E stop interface func completion.sub1.z1/0-0 (det) mdb> c c ok