:- export jxm_/1, txm_true_tabled_name/2, txm_true_nontabled_name/2.
:- export txm_false_name/2, just_true_/2, just_false_/2.
:- import justify_pred/1, justify_tabled_pred/2, just_init/0 from usermod.
:- import true_tabled_evid/2 from usermod.
