Version 0.27.4 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 is an embedding of SWI-Prolog in Emacs. It uses the C interfaces of both SWI-Prolog and Emacs Lisp to let you query Prolog directly from Elisp. On top of this tight integration, Sweep provides an advanced development environment for SWI-Prolog in Emacs. ## 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, see the Sweep manual: [https://eshelyaron.com/sweep.html]. [https://eshelyaron.com/sweep.html] <https://eshelyaron.com/sweep.html> Version 0.27.4 on 2024-02-03 ════════════════════════════ This is a maintenance release, including a couple of bug fixes: Fix indentation bug with `auto-fill-mode' in multi-line comments ──────────────────────────────────────────────────────────────── Provide at-point documentation for SSU guard goals ────────────────────────────────────────────────── Version 0.27.3 on 2024-01-02 ════════════════════════════ Provide at-point documentation (also) in the top-level ────────────────────────────────────────────────────── Sweep now provides documentation for the predicate at point (with ElDoc) also when you’re editing a query in the top-level. Bug fixes and documentation improvements ──────────────────────────────────────── Version 0.27.2 on 2023-11-27 ════════════════════════════ Term-based navigation and editing in the top-level ────────────────────────────────────────────────── Sweep now arranges for `C-M-f', `C-M-u', and related standard commands to operate on Prolog terms in top-level buffers, similarly to how these commands behave in Sweep Prolog mode buffers. Improve CHR highlighting and help messages ────────────────────────────────────────── This version includes better support for Constraint Handling Rules from `library(chr)'. Bug fixes and documentation improvements ──────────────────────────────────────── Version 0.27.1 on 2023-11-16 ════════════════════════════ In-buffer completion for Prolog flags ───────────────────────────────────── Sweep now provides Prolog flag completion for predicates that take a Prolog flag as an argument, such as `set_prolog_flag/2' and `current_prolog_flag/2'. Predicate completion is now much faster ─────────────────────────────────────── This version includes several optimizations that speed up in-buffer predicate completion. Minor bug fixes and improvements ──────────────────────────────── Notably, this version fixes an issue where completion would stop working the Sweep top-level prompt whenever certain strings appeared in the output of past queries. Version 0.27.0 on 2023-11-12 ════════════════════════════ Highlight the argument at point in ElDoc documentation messages ─────────────────────────────────────────────────────────────── When displaying the documentation for the predicate at point, Sweep now highlights the argument in the predicate signature that corresponds to the argument at point. This can help you tell which term corresponds to which argument when you’re looking at a predicate call with many complex arguments. Version 0.26.2 on 2023-11-09 ════════════════════════════ Fix issue with Emacs daemon deleting a pty top-level ──────────────────────────────────────────────────── This is a maintenance release, addressing an issue that could cause the Emacs daemon to shutdown upon deleting a top-level that uses a pseudo-terminal for communication. Version 0.26.1 on 2023-10-29 ════════════════════════════ Fix issue with top-level not starting correctly on GNU/Linux ──────────────────────────────────────────────────────────── This is a bugfix release, addressing an issue introduced in Sweep version 0.26.0 that could cause starting the Sweep top-level to fail on GNU/Linux systems, with the following message: Process sweeprolog-top-level failed with code 0 Sweep now sets up Xref in top-level buffers ─────────────────────────────────────────── Xref commands, such as `M-.' and `M-?', now use Sweep’s cross-reference backend also in top-level buffers. Version 0.26.0 on 2023-10-22 ════════════════════════════ More fine-grained in-buffer completions ─────────────────────────────────────── This version of Sweep includes improved in-buffer completion for predicate options (declared with `predicate_options/3'), arithmetic functions, and source file specifications (such as `library(lists)'). Sweep now disables input echoing in top-levels when using a pty ─────────────────────────────────────────────────────────────── Version 0.25.5 on 2023-10-20 ════════════════════════════ Improved predicate completion candidate sorting ─────────────────────────────────────────────── Sweep now sorts predicate completion candidates more intelligently, placing predicates with a shorter functor ahead in the candidate list. The top-level now uses ANSI escape sequences for output coloring ──────────────────────────────────────────────────────────────── For Sweep top-levels that use a pty (the default on Unix systems), the top-level output now includes ANSI escape sequences that Emacs automatically translates to text properties (colors, etc.). To have Emacs filter out these escape sequences without applying the … …