PRINT_GOAL_TAC : tactic

SYNOPSIS: Prints the goal to standard output.
DESCRIPTION: Given any goal A ?- p, the tactic PRINT_GOAL_TAC prints the goal to standard output.
FAILURE CONDITIONS: Never fails.
SEE ALSO: print_goal, print_goalstack, print_term