assert basics consult curr_sym dcg db dbclause dbcmpl dcg_qsc debugger domain eval file_op hilogsym loader machine num_vars standard std_sbp string tables term_exp x_interp xsb_read xsb_tok xsb_writ
