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.