Update the doc of prolog/1

toplevel.pl

@@ -499,7 +499,7 @@ seed(Number):-
 prolog(Term):-
   biocham_command,
   type(Term, name),
-  doc('Just for development purposes, calls a Prolog term written between quotes and prints the result substitution.'),
+  doc('Just for development purposes, calls a Prolog term written between quotes and prints the result substitution. E.g. when you need to modify the SWI-prolog flags from the toplevel of Biocham: "prolog(set_prolog_flag(stack_limit, 2 000 000 000))."'),
   read_term_from_atom(Term, Goal, [variable_names(Bindings)]),
   Goal,
   (