print_goal : goal -> unit

SYNOPSIS: Print a goal.
DESCRIPTION: print_goal g prints the goal g to standard output, with no following newline.
FAILURE CONDITIONS: Never fails.
COMMENTS: This is invoked automatically when something of type goal is produced at the top level, so manual invocation is not normally needed.
SEE ALSO: print_goalstack, print_term, PRINT_GOAL_TAC.