An Emacs mode for LogicBlox Datalog.
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 'lb-datalog-mode)
| Keyboard shortcut | Description |
|---|---|
| M-a | Move backwards by one atom (either functional or plain). |
| M-e | Move forward by one atom (either functional or plain). |
| C-M-a | Move backwards by one clause. |
| C-M-e | Move forward by one clause. |
| C-: | Rename local variable (at clause scope). |
| C-c C-c | Connect to workspace. |
| C-c C-q | Run Datalog query on connected workspace. |
| C-c i | Get predicate info on connected workspace. |
| C-c C-l | Pint predicate contents on connected workspace. |
| C-c C-p | List predicate sizes on connected workspace. |
| C-c C-a | Add Datalog block of code to connected workspace. |
| C-c C-f | Insert a functional atom at point. This requires yasnippet to be installed. |