All Projects → gkastrinis → panda

gkastrinis / panda

Licence: MIT license
A Datalog compiler and library

Programming Languages

groovy
2714 projects
ANTLR
299 projects

Projects that are alternatives of or similar to panda

graal
Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
Stars: ✭ 38 (+100%)
Mutual labels:  datalog
doop-mirror
Mirror of Doop: https://bitbucket.org/yanniss/doop
Stars: ✭ 61 (+221.05%)
Mutual labels:  datalog
TupleNet
TupleNet is a lightweight tool for building virtual-networking
Stars: ✭ 26 (+36.84%)
Mutual labels:  datalog
percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Stars: ✭ 285 (+1400%)
Mutual labels:  datalog
hsdatalog
BDD-based implementation of Datalog
Stars: ✭ 30 (+57.89%)
Mutual labels:  datalog
Jatalog
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
Stars: ✭ 62 (+226.32%)
Mutual labels:  datalog
semantic-python-overview
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
Stars: ✭ 406 (+2036.84%)
Mutual labels:  datalog
matcha
🍵 SPARQL-like DSL for querying in memory Linked Data Models
Stars: ✭ 18 (-5.26%)
Mutual labels:  datalog
logica
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
Stars: ✭ 1,469 (+7631.58%)
Mutual labels:  datalog
logifix
Fixing static analysis violations in Java source code using Datalog
Stars: ✭ 17 (-10.53%)
Mutual labels:  datalog
datalog
simplified query engine based on logic programming paradigm
Stars: ✭ 124 (+552.63%)
Mutual labels:  datalog
sicp-logic
A Clojure implementation of the logic programming language from chapter 4 of SICP
Stars: ✭ 62 (+226.32%)
Mutual labels:  datalog

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

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].