print_goal : goal -> unit
Print a goal.
print_goalstack g prints the goal g to standard output, with no following
- FAILURE CONDITIONS
This is invoked automatically when something of type goal is produced at
the top level, so manual invocation is not normally needed.
- SEE ALSO