Template and modes
An example where a hypothetic application would have some limitations that the user should be made aware when running on a backend Prolog compiler with bounded arithmetic:
:- if(current_prolog_flag(bounded, true)). :- initialization( logtalk::print_message(warning,app,bounded_arithmetic) ). :- else. :- initialization( logtalk::print_message(comment,app,unbounded_arithmetic) ). :- endif.