prolog layer
Table of ContentsClose
1. Description
This layer adds support for Prolog using the bundled Prolog mode for Emacs. In addition it also adds ediprolog support for better interaction with SWI-Prolog.
1.1. Features:
- Designed for SWI-Prolog as a default, but can be used with other Prologs that Prolog mode supports.
- Interactive consulting and compiling.
- Auto-formatting.
- Apropos and help lookup.
2. Install
To use this configuration layer, add it to your ~/.spacemacs
. You will need to
add prolog
to the existing dotspacemacs-configuration-layers
list in this
file.
3. Key bindings
3.1. Consulting
Key binding | Description |
---|---|
SPC m s b |
Consult Buffer |
SPC m s f |
Consult File |
SPC m s p |
Consult Predicate |
SPC m s r |
Consult Region |
3.2. Compiling
Key binding | Description |
---|---|
SPC m c b |
Compile Buffer |
SPC m c c |
Compile File |
SPC m c p |
Compile Predicate |
SPC m c r |
Compile Region |
3.3. Formatting
Key binding | Description |
---|---|
SPC m = |
Indent Buffer |
3.4. Inserting
Key binding | Description |
---|---|
SPC m i m |
Insert a Modeline for Module Specification |
SPC m i n |
Insert Newline and the Name for the Current Clause |
SPC m i p |
Insert Predicate Template for the Current Clause |
SPC m i s |
Insert Predicate Spec |
3.5. Help
Key binding | Description |
---|---|
SPC m h a |
Prolog Apropos for a Given String |
SPC m h p |
Online Help for the Atom under Cursor |
3.6. Evaluating
Key binding | Description |
---|---|
SPC m e e |
Context Sensitive SWI-Prolog Interaction. |