- Documentation
- Reference manual
- Overview
- Getting started quickly
- The user's initialisation file
- Initialisation files and goals
- Command line options
- GNU Emacs Interface
- Online Help
- Command line history
- Reuse of top-level bindings
- Overview of the Debugger
- Compilation
- Environment Control (Prolog flags)
- An overview of hook predicates
- Automatic loading of libraries
- Packs: community add-ons
- Garbage Collection
- The SWI-Prolog syntax
- Rational trees (cyclic terms)
- Just-in-time clause indexing
- Wide character support
- System limits
- SWI-Prolog and 64-bit machines
- Overview
- Packages
- Reference manual
2.5 GNU Emacs Interface
Unfortunately the default Prolog mode of GNUÂ Emacs is not very good. There are several alternatives though:
- https://bruda.ca/emacs/prolog_mode_for_emacs
Prolog mode for Emacs and XEmacs maintained by Stefan Bruda. - https://www.metalevel.at/pceprolog/
Recommended configuration options for editing Prolog code with Emacs. - https://www.metalevel.at/ediprolog/
Interact with SWI-Prolog directly in Emacs buffers. - https://www.metalevel.at/etrace/
Trace Prolog code with Emacs.