% Empty with pita loaded
:- use_module(library(pita)).

:- pita.

:- begin_lpad.

% here your LPAD

:- end_lpad.

/** <examples> Your example queries go here, e.g.

?- prob(query,Prob).

?- bdd_dot_string(query,BDD,Var).

*/