SWI-Prolog
provides tight integration with GNU Emacs through the
sweep package. This package embeds SWI-Prolog as a dynamic
Emacs module, allowing for Prolog queries to be executed directly from
Emacs Lisp. The accompanying Emacs package sweeprolog.el,
available for installation with the standard Emacs package manager
package.el, builds on top of this embedding to provide a
fully integrated development environment for SWI-Prolog in GNU Emacs.
GNU Emacs ships with by default with a Prolog mode called
prolog.el. Compared to sweeprolog.el, this
mode suffers from some problems that arise due to the lack of a proper
Prolog parser. The original prolog.el by Masanobu Umeda has
been included in GNU Emacs since 1989, in 2006 Stefan Monnier added
explicit support for SWI-Prolog to prolog.el. In 2011, most
of the original implementation has been replaced with a new Prolog mode
written by initially for the XEmacs port by Stefan Bruda. Bruda's mode
was adapted to GNU Emacs by Stefan Monnier, who has been
maintaining it along with other GNU Emacs contributor since. Users
of this mode may find useful configuration suggestions at
https://www.metalevel.at/pceprolog/.
Other Emacs package that can be useful for working with SWI-Prolog
are:
