mode/1
directives so you
can now use more descriptive arguments, e.g.
:- mode foo(+Input, -Output).
without getting a warning about the singleton variables Input and Output.
print_coverage/[0,1]
and print_profile/[0,1]
now print to the
current output stream, like listing/[0,1]
.