Gotalog is a Golang implementation of datalog, a port of MITRE corporation's Lua implementation. Gotalog is licensed under the GPL; see LICENSE.
Gotalog comes in two parts; a port of the search strategy in datalog.go, and a proof-of-concept
implementation of a number of databases with different runtime behaviors.
Outside of database constructors, the public symbols are defined in interface.go
Gotalog can be interacted with either through text, or by directly constructing commands
and passing them into Apply().
We provide three database implementations: an in-memory database, a log-backed database, and a threadsafe implementation.
The cli submodule has a minimal demonstration of use of the parsing API.
In some informal tests using large datalog problems from the web (see the files in tests/),
gotalog's performance is better than the MITRE implementation (running using vanilla Lua, not luajit)
by around 20%. At peak, its memory consumption is several times that of the MITRE implementation.