:- use_module(library(tidylog)).
main :-
 % give one motivating example
             

   true.