Introduction

AbcDatalog is an open-source Java implementation of Datalog, a logic programming language. It provides ready-to-use implementations of common Datalog evaluation algorithms, and is designed to be easily extensible with new evaluation engines and new language features. We hope that it proves to be useful for both research and pedagogy.

For more information, please see the AbcDatalog website.

Licensing

AbcDatalog is released under a BSD License, a copy of which is included in this directory.

AbcDatalog uses third party libraries; a list of them and their associated licenses can be found in the third-party-licenses/ subdirectory.

Requirements

• Java 8+
• Maven (v3.6.3 is known to work); necessary only for compilation

Compilation

A pre-built JAR can be found on the Releases section of GitHub.

If you desire, you can compile the source code into a JAR using Maven. From this directory, run mvn package to build the archive target/AbcDatalog-[X.Y.Z]-jar-with-dependencies.jar (where [X.Y.Z] is the version number).

Usage

Please see the AbcDatalog website for information on how to use the AbcDatalog graphical user interface and how to interface with AbcDatalog from Java programs.

People

The primary contributors to AbcDatalog are:

• Aaron Bembenek
• Stephen Chong
• Marco Gaboardi

Question, comment, bug report? Please raise a GitHub issue.

Thanks to João Gonçalves for helping transition AbcDatalog to GitHub!

Acknowledgements

AbcDatalog has been developed as part of the Privacy Tools for Sharing Research Data project at Harvard University and is supported by the National Science Foundation under Grant Nos. 1237235 and 1054172.