Skip to content

A datalog implementation in pure Lua (LPEG parser).

License

Notifications You must be signed in to change notification settings

catwell/datalog.lua

Folders and files

NameName
Last commit message
Last commit date

Latest commit

18068e4 · Jan 11, 2023

History

17 Commits
Jan 11, 2023
Sep 18, 2016
Sep 18, 2016
Jan 11, 2023
Jan 11, 2023
Jan 11, 2023
Jan 11, 2023
Jan 11, 2023
Sep 18, 2016
Sep 18, 2016
Sep 18, 2016

Repository files navigation

datalog.lua

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

Usage

lua main.lua examples/path.dl

Dependencies

PUC Lua 5.1 or above + LPEG. This is not tested with LuaJIT (but it probably works).

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-2022 Pierre Chapuis and released under the MIT license, see LICENSE.txt.

About

A datalog implementation in pure Lua (LPEG parser).

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages