An Emacs mode for the Soufflé Datalog Language.
MIT license (see LICENSE)
This project uses the Cask project management tool for Emacs.
To install Cask simply run:
curl -fsSL https://raw.githubusercontent.com/cask/cask/master/go | python
or:
make setup
Run the following to compile, create a package (tarball), and install
it to emacs
:
make
make install
Finallly, add the following into your ~/.emacs
:
(require 'souffle-mode)
Keyboard shortcut | Description |
---|---|
M-a | Move backwards by one atom. |
M-e | Move forward by one atom. |
C-M-a | Move backwards by one clause. |
C-M-e | Move forward by one clause. |
C-: | Rename local variable (at clause scope). |