{"repo":"HarvardPL/AbcDatalog","free":true,"listed":false,"github":"https://github.com/HarvardPL/AbcDatalog","clone":"git clone https://github.com/HarvardPL/AbcDatalog.git","description":"Datalog that's as easy as ABC.","language":"Java","stars":72,"topics":["datalog","logic-programming","declarative-programming","knowledge-base","rule-engine"],"license":null,"category":"productivity","readme_excerpt":"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 21+ Maven (v3.9.9 is known to work); not necessary for running the pre-built JAR Setup Pre-Built JAR A pre-built JAR can be found on the Releases section of the GitHub repository. Maven Central AbcDatalog is released on Maven Central and can be easily added as a library to another Maven project by including a snippet like this in that project's pom.xml file: Replace [X.Y.Z] with the most recent AbcDatalog version. Compilation If you desire, you can compile the source code into a JAR using Maven. From the project root 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. Contri","default_branch":null,"files":null,"tree":[],"storefront":"/r/HarvardPL","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/HarvardPL/AbcDatalog/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}