:- load_compilation_module(library(show_trans_tr)).
:- add_clause_trans(show/3).
