Commit 087dc459 authored by HEMERY Mathieu's avatar HEMERY Mathieu
Browse files

Add the quotes in prolog/1 doc

parent dde0b2bd
......@@ -499,7 +499,9 @@ 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. 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))."'),
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,
(
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment