% Empty with mcintyre loaded :- use_module(library(mcintyre)). :- mc. :- begin_lpad. % here your LPAD :- end_lpad. /** Your example queries go here, e.g. ?- mc_sample(query,1000,Prob). */