{"id":50350543,"url":"https://github.com/HarvardPL/AbcDatalog","last_synced_at":"2026-06-15T12:01:45.559Z","repository":{"id":85503187,"uuid":"350346309","full_name":"HarvardPL/AbcDatalog","owner":"HarvardPL","description":"Datalog that's as easy as ABC.","archived":false,"fork":false,"pushed_at":"2025-08-20T14:59:48.000Z","size":5770,"stargazers_count":67,"open_issues_count":2,"forks_count":8,"subscribers_count":3,"default_branch":"master","last_synced_at":"2026-01-29T06:57:36.363Z","etag":null,"topics":["datalog","declarative-programming","knowledge-base","logic-programming","rule-engine"],"latest_commit_sha":null,"homepage":"https://harvardpl.github.io/AbcDatalog/","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/HarvardPL.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"license.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-03-22T13:05:38.000Z","updated_at":"2026-01-12T02:14:51.000Z","dependencies_parsed_at":"2024-11-08T00:25:44.873Z","dependency_job_id":"0122e7c7-9a75-4cc9-977b-57f1c3c6491d","html_url":"https://github.com/HarvardPL/AbcDatalog","commit_stats":null,"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"purl":"pkg:github/HarvardPL/AbcDatalog","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HarvardPL%2FAbcDatalog","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HarvardPL%2FAbcDatalog/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HarvardPL%2FAbcDatalog/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HarvardPL%2FAbcDatalog/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/HarvardPL","download_url":"https://codeload.github.com/HarvardPL/AbcDatalog/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HarvardPL%2FAbcDatalog/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34361403,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-15T02:00:07.085Z","response_time":63,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["datalog","declarative-programming","knowledge-base","logic-programming","rule-engine"],"created_at":"2026-05-29T21:00:23.930Z","updated_at":"2026-06-15T12:01:45.552Z","avatar_url":"https://github.com/HarvardPL.png","language":"Java","funding_links":[],"categories":["人工智能"],"sub_categories":["逻辑编程"],"readme":"# Introduction\n\nAbcDatalog is an open-source Java implementation of Datalog, a logic\nprogramming language. It provides ready-to-use implementations of common\nDatalog evaluation algorithms, and is designed to be easily extensible with new\nevaluation engines and new language features. We hope that it proves to be\nuseful for both research and pedagogy.\n\nFor more information, please see the\n[AbcDatalog website](https://abcdatalog.seas.harvard.edu/).\n\n# Licensing\n\nAbcDatalog is released under a BSD License, a copy of which is included in this\ndirectory.\n\nAbcDatalog uses third party libraries; a list of them and their associated\nlicenses can be found in the [`third-party-licenses/`](third-party-licenses/)\nsubdirectory.\n\n# Requirements\n\n* Java 21+\n* Maven (v3.9.9 is known to work); not necessary for running the pre-built JAR\n\n# Setup\n\n## Pre-Built JAR\n\nA pre-built JAR can be found on the\n[Releases](https://github.com/HarvardPL/AbcDatalog/releases) section of the GitHub repository.\n\n## Maven Central\n\nAbcDatalog is released on [Maven Central](https://central.sonatype.com/artifact/io.github.harvardpl/AbcDatalog)\nand can be easily added as a library to another Maven project by including a\nsnippet like this in that project's `pom.xml` file:\n\n```\n\u003cdependency\u003e\n    \u003cgroupId\u003eio.github.harvardpl\u003c/groupId\u003e\n    \u003cartifactId\u003eAbcDatalog\u003c/artifactId\u003e\n    \u003cversion\u003e[X.Y.Z]\u003c/version\u003e\n\u003c/dependency\u003e\n```\n\nReplace `[X.Y.Z]` with the most recent AbcDatalog version.\n\n## Compilation\n\nIf you desire, you can compile the source code into a JAR using Maven. From\nthe project root directory, run `mvn package` to build the archive\n`target/AbcDatalog-[X.Y.Z]-jar-with-dependencies.jar` (where `[X.Y.Z]` is the\nversion number).\n\n# Usage\n\nPlease see the [AbcDatalog website](https://abcdatalog.seas.harvard.edu/) for\ninformation on how to use the AbcDatalog graphical user interface and how to\ninterface with AbcDatalog from Java programs.\n\n# Contributing\n\nContributions are encouraged!\nIn the past, students have contributed some great improvements to the UI.\nIf you are interested in contributing, open a [GitHub issue](https://github.com/HarvardPL/AbcDatalog/issues) discussing the improvements you would like to make.\n\n# People\n\nThe primary contributors to AbcDatalog are:\n\n* Aaron Bembenek\n* Stephen Chong\n* Marco Gaboardi\n\nQuestion, comment, bug report? Please raise a [GitHub issue](https://github.com/HarvardPL/AbcDatalog/issues).\n\nThanks to João Gonçalves for helping transition AbcDatalog to GitHub!\n\n# Acknowledgements\n\nAbcDatalog has been developed as part of the Privacy Tools for Sharing Research\nData project at Harvard University and is supported by the National Science\nFoundation under Grant Nos. 1237235 and 1054172.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FHarvardPL%2FAbcDatalog","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FHarvardPL%2FAbcDatalog","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FHarvardPL%2FAbcDatalog/lists"}