To install this package from Emacs, use
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. For more information, see the Sweep manual at <https://eshelyaron.com/sweep.html>. To read the manual inside Emacs, do M-x sweeprolog-info-manual, or evaluate (info "(sweep)Top").
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.
This is a maintenance release, including a couple of bug fixes:
auto-fill-mode in multi-line comments
Sweep now provides documentation for the predicate at point (with ElDoc) also when you’re editing a query in the top-level.
Sweep now arranges for
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.
This version includes better support for Constraint Handling Rules
Sweep now provides Prolog flag completion for predicates that take a
Prolog flag as an argument, such as
This version includes several optimizations that speed up in-buffer predicate completion.
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.
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.
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.
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
Xref commands, such as
M-?, now use Sweep’s
cross-reference backend also in top-level buffers.
This version of Sweep includes improved in-buffer completion for
predicate options (declared with
functions, and source file specifications (such as
Sweep now sorts predicate completion candidates more intelligently, placing predicates with a shorter functor ahead in the candidate list.
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 … …