panda icon indicating copy to clipboard operation
panda copied to clipboard

A Datalog compiler and library

License: MIT Travis CI w/ Logo CI GitHub Release Discord Chat Open Source

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 integrated to 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-basics.pnd

Documentation

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