Sweep can diagnose problems in Prolog code and report them to the user by integrating with Flymake, a powerful interface for on-the-fly diagnostics built into Emacs.
Whether to enable Flymake support in Sweep Prolog mode buffers.
List diagnostics for the current buffer or project in a dedicated
Flymake integration is enabled by default, to disable it customize the
When this integration is enabled, several Flymake commands are available for listing and jumping between found errors. see (flymake)Finding diagnostics, for a full description of these commands. Additionally, Sweep Prolog mode configures the standard command M-x next-error to operate on Flymake diagnostics. This allows for moving to the next (or previous) error location with the common M-g n (or M-g p) keybinding. See (emacs)Compilation Mode, for more information about these commands.
sweeprolog-show-diagnostics shows a list of Flymake
diagnostics for the current buffer. It is bound by default to
C-c C-` in Sweep Prolog mode buffers with Flymake integration
enabled. When you call it with a prefix argument (C-u C-c C-`),
it shows a list of diagnostics for all buffers in the current project.