souffle-mode

An Emacs mode for the Soufflé Datalog Language.

MIT license (see LICENSE)

Manual Installation

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).