A Datalog compiler and library
Groovy ANTLR
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
gradle/wrapper
src
.gitignore
.travis.yml
LICENSE.txt
README.md
build.gradle
gradle.properties
gradlew
gradlew.bat
panda.png
settings.gradle

README.md

License MIT Travis CI Gitter chat

PANDA

PaNda is a Datalog compiler targeting the LogiQL as well as the Souffle Datalog dialect. Input programs are written in a modern Datalog specification and can afterwards be compiled to valid forms for the aforementioned Datalog engines. PaNda can either be used as a tool from command line or a Java/Groovy library for creating Datalog programs from inside your app.

System requirements

  • Java Developer Kit version 8 or newer

Installation & Testing

git clone git://github.com/gkastrinis/panda.git
cd panda
./gradlew run -Pargs=src/test/resources/t0.pnd

Documentation

http://github.com/gkastrinis/panda/wiki