lb-datalog-mode

An Emacs mode for LogicBlox Datalog.

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