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