Version 0.17.0 of package Sweeprolog has just been released in NonGNU ELPA. You can now find it in M-x list-packages RET.
Sweeprolog describes itself as: =================== Embedded SWI-Prolog =================== More at https://elpa.nongnu.org/nongnu/sweeprolog.html ## Summary: ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ SWEEP: SWI-PROLOG EMBEDDED IN EMACS Eshel Yaron [email protected] ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ This manual describes the Emacs package Sweep (or `sweeprolog.el'), which provides an embedded SWI-Prolog runtime inside of Emacs. Table of Contents ───────────────── ## Recent NEWS: ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ SWEEP NEWS – HISTORY OF USER-VISIBLE CHANGES ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ This file contains the release notes for Sweep, an embedding of SWI-Prolog in Emacs. For further details, please consult the manual: [https://eshelyaron.com/sweep.html]. [https://eshelyaron.com/sweep.html] <https://eshelyaron.com/sweep.html> Version 0.17.0 on 2023-02-16 ════════════════════════════ New user option `sweeprolog-dependency-directive' ───────────────────────────────────────────────── This user option determines the preferred Prolog directive to use in `sweeprolog-update-dependencies' for adding new explicit dependencies in the buffer. See the documentation for possible values. Modified formatting of added dependency directives ────────────────────────────────────────────────── The format `sweeprolog-update-dependencies' uses for new dependency is modified to be more concise and similar to the format used by the corresponding command of the SWI-Prolog built-in editor. Mode line indication for loaded buffers ─────────────────────────────────────── Buffers in `sweeprolog-mode' now display an indication in the mode line if they are loaded into the current SWI-Prolog runtime. New commands for managing breakpoints ───────────────────────────────────── This version includes new commands for setting and removing breakpoints `sweeprolog-mode' buffers. See the new “Setting Breakpoints” manual section for more information. Minor bug fix in `sweeprolog-beginning-of-top-term' ─────────────────────────────────────────────────── This version includes a fix for how the function `sweeprolog-beginning-of-top-term' handles head terms with quoted functors (as in `'foo'(Bar) :- ...'). This function is used for finding the beginning of Prolog clauses, and this issue affected some commands that need to analyze the clause at point. Version 0.16.0 on 2023-02-11 ════════════════════════════ New user option `sweeprolog-rename-variable-allow-existing' ─────────────────────────────────────────────────────────── This user option controls what happens when you try to rename a variable with `C-c C-r' (`sweeprolog-rename-variable') to the name of another existing variable. By default this is set to `confirm', which causes `sweeprolog-rename-variable' to notify and ask you for confirmation is such cases. New commands for managing numbered variables ──────────────────────────────────────────── This version include two new commands for managing numbers in Prolog variable names, `sweeprolog-increment-numbered-variables' and `sweeprolog-decrement-numbered-variables', bound to `C-c C-+' and `C-c C--' respectively. See the new “Numbered Variables” manual section for more information. Integration with Info lookup commands ───────────────────────────────────── You can use the standard `C-h K' and `C-h F' commands to find the Info manual node documenting a given Sweep command. Bug fix in end-of-clause detection with `Dict.key' terms ──────────────────────────────────────────────────────── Version 0.15.0 on 2023-02-01 ════════════════════════════ New command `sweeprolog-rename-variable' ──────────────────────────────────────── This command, bound to `C-c C-r' in `sweeprolog-mode' buffers, interactively renames a variable in the current clause. You can now also rename variables by right-clicking on them and selecting `Rename Variable' with Context Menu mode enabled. Jumping to predicate references now goes to the exact call position ─────────────────────────────────────────────────────────────────── The cross reference information that Sweep provides is enhanced to include exact buffer positions for predicate references. In prior versions, jumping to predicate references with `M-?' (`xref-find-references') would go to the beginning of the clause which invokes the given predicate, now it goes to the exact location of the invocation. Version 0.14.1 on 2023-01-28 ════════════════════════════ New command `sweeprolog-count-holes' ──────────────────────────────────── This command displays the number of holes in the current `sweeprolog-mode' buffer. New numeric argument to `sweeprolog-forward-hole' ───────────────────────────────────────────────── You can now call `sweeprolog-forward-hole' with a numeric prefix argument (e.g. `C-3 C-c TAB') to move forward over that many holes. As a special case, if you call it with a zero numeric argument (e.g. by typing `C-0 C-c TAB'), it invokes `sweeprolog-count-holes' instead. This change applies to `sweeprolog-backward-predicate' as well. Predicate completion now consults the manual for argument names ─────────────────────────────────────────────────────────────── … …
