Reference the GOAL parameter correctly in the docstring.  Remove the
unnecessary and potentially confusing specification that GOAL is a
Prolog goal.

Correctly reference the BODY and PARAMS parameters.  Move the
information about the function calling to a separate paragraph.

Move the second sentence of the docstring to its own paragraph.
Correct a typo in and modify the grammar of the second sentence.

Move the second sentence to its own paragraph.  Change the structure
of the second sentence to clarify its meaning.

Adhere to docstring convention by including entire first sentence on a
single line.  Use the second sentence (in its own paragraph) to
describe the function's behavior if SESSION is not initialized prior
to calling the function.

Correct the description of the function's actions.  Indicate that the
BODY and PARAMS parameters are unused.