DOC: Prolog flag toplevel_residue_vars.

man/overview.doc

@@ -2174,6 +2174,11 @@ following \verb$~$ (tilde) sequences are replaced:
 \end{tabular}
 \end{center}
 
+    \prologflagitem{toplevel_residue_vars}{bool}{rw}
+When \const{true} (default \const{false}), print residual variables as
+detected by call_residue_vars/2 that do not appear in the bindings
+returned by the goal.
+
     \prologflagitem{toplevel_var_size}{int}{rw}
 Maximum size counted in literals of a term returned as a binding for a
 variable in a top-level query that is saved for re-use using the