- 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, PRINT_TERM_CONV, REMARK_TAC