SWI-Prolog predicates can be documented with specially structured
comments placed above the predicate definition, which are processed by
the =PlDoc= source documentation system. Emacs comes with many useful
-commands for specifically intended for working with comments in
+commands specifically intended for working with comments in
programming languages, which apply also to writing =PlDoc= comments for
Prolog predicates. For an overview of the relevant standard Emacs
commands, see [[info:emacs#Comment Commands][Comment Commands in the Emacs manual]].
the newly inserted documentation comment for the user to extend or
edit it if needed. To add another comment line, use =M-j=
(=comment-indent-new-line=) which starts a new line with the comment
-prefix filled in. To reformat the current paragraph of =PlDoc= comments, =M-q= (=fill-paragraph=).
+prefix filled in. To reformat the current paragraph of =PlDoc=
+comments, use =M-q= (=fill-paragraph=).
For more information about =PlDoc= and source documentation in
SWI-Prolog, see [[https://www.swi-prolog.org/pldoc/doc_for?object=section(%27packages/pldoc.html%27)][the PlDoc manual]].