A datalog implementation in pure Lua (LPEG parser).
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.travis
datalog
examples
rockspec
.luacheckrc
.travis.yml
LICENSE.txt
README.md
datalog.lua
datalog.test.lua
main.lua

README.md

datalog.lua

Build Status

Presentation

This is a pure Lua (+ LPEG) implementation of Datalog.

The core interpreter (datalog/datalog.lua) is a modified version of John D. Ramsdell's Datalog from the MITRE corporation.

This is a work in progress, don't expect it to work flawlessly.

Usage

lua main.lua examples/path.dl

Dependencies

This is currently only tested with Lua 5.3 compiled with backwards compatibility for 5.1 and 5.2 and LPEG 0.12. It probably works fine with other Luas though.

Tests depend on cwtest.

Copyright

  • datalog/datalog.lua is Copyright (C) 2004 The MITRE Corporation and released under the GNU LGPL.
  • All other files are Copyright (c) 2016 Pierre Chapuis and released under the MIT license, see LICENSE.txt.