sweeprolog
- Description
- Embedded SWI-Prolog
- Latest
- sweeprolog-0.27.6.0.20241107.191437.tar (.sig), 2024-Nov-07, 840 KiB
- Maintainer
- Eshel Yaron <~eshel/dev@lists.sr.ht>
- Website
- https://git.sr.ht/~eshel/sweep
- Browse ELPA's repository
- CGit or Gitweb
- Badge
- Manual
- sweep
To install this package from Emacs, use package-install
or list-packages
.
Full description
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").
Old versions
sweeprolog-0.27.6.0.20241014.185421.tar.lz | 2024-Oct-14 | 133 KiB |
sweeprolog-0.27.6.0.20240905.90947.tar.lz | 2024-Sep-05 | 132 KiB |
sweeprolog-0.27.5.0.20240902.75715.tar.lz | 2024-Sep-02 | 132 KiB |
sweeprolog-0.27.4.0.20240410.173453.tar.lz | 2024-Apr-10 | 132 KiB |
sweeprolog-0.26.2.0.20231109.202947.tar.lz | 2023-Nov-09 | 128 KiB |
sweeprolog-0.23.1.0.20230903.94637.tar.lz | 2023-Sep-03 | 113 KiB |
sweeprolog-0.19.1.0.20230614.75703.tar.lz | 2023-Jun-14 | 121 KiB |
sweeprolog-0.9.6.0.20221221.204159.tar.lz | 2022-Dec-21 | 83.3 KiB |
sweeprolog-0.8.12.0.20221122.195410.tar.lz | 2022-Nov-22 | 75.8 KiB |
sweeprolog-0.4.7.0.20221002.200402.tar.lz | 2022-Oct-02 | 33.9 KiB |
News
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.
Version 0.27.7 in development
New command sweeprolog-replace-with-anonymous-variable
This command replaces the smallest term at point with the anonymous
variable, _
.
Version 0.27.6 on 2024-09-05
This is a maintenance release, including a couple of bug fixes:
Fix crash when closing top-level with recent SWI-Prolog versions
Recognize variable names with underscores between words
Version 0.27.5 on 2024-04-11
Work around Emacs reliance on certain locale settings
This is a bug-fix release, resolving an issue that would manifest on X window systems with certain locales. The issue was rooted in the different assumptions Emacs and SWI-Prolog make regarding the locale, and could lead to seemingly unrelated and inexplicable errors such as:
(error "Invalid hash table rehash size" 1.0)
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.
…
…