verbose.pl -- Print goal and stack in Ciao compatible format

This module prints the goal and stack in as close as we can Ciao compatible format such tha we can compare the traces created by

scasp -v program.pl

scasp_warning(+Term) is det: Emit a warning through print_message/2.
scasp_warning(+When, +Term) is det: Emit a warning through print_message/2.
scasp_trace(+When, +Term) is det: Emit a debug messages through print_message/2.
scasp_info(+When, +Term) is det: Emit an informational through print_message/2.
print_check_calls_calling(?Goal, ?StackIn): Auxiliar predicate to print StackIn the current stack and Goal. This predicate is executed when the flag check_calls is on. NOTE: use check_calls/0 to activate the flag
print_goal(+Goal): Print an sCASP goal. The first clause does the actual work at the moment to emit the goal as closely as we can to the Ciao output such that we can compare traces created using scasp -v. The second uses default notation for constraints.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.