:- use_package([assertions]).

:- doc(filetype, documentation).

:- doc(title, "Source in markdown for the 'factorial using ISO-Prolog arithmetic' example").

:- doc(module,"

@includecode{factorial_peano_iso}

").


