├── .github └── workflows │ └── maven.yml ├── .gitignore ├── README.md ├── example └── tc.dtlg ├── license.txt ├── make_release.sh ├── pom.xml ├── src ├── main │ └── java │ │ └── edu │ │ └── harvard │ │ └── seas │ │ └── pl │ │ └── abcdatalog │ │ ├── ast │ │ ├── BinaryDisunifier.java │ │ ├── BinaryUnifier.java │ │ ├── Clause.java │ │ ├── Constant.java │ │ ├── Head.java │ │ ├── HeadHelpers.java │ │ ├── NegatedAtom.java │ │ ├── PositiveAtom.java │ │ ├── PredicateSym.java │ │ ├── Premise.java │ │ ├── Term.java │ │ ├── TermHelpers.java │ │ ├── Variable.java │ │ ├── package-info.java │ │ ├── validation │ │ │ ├── DatalogValidationException.java │ │ │ ├── DatalogValidator.java │ │ │ ├── StratifiedNegationGraph.java │ │ │ ├── StratifiedNegationValidator.java │ │ │ ├── StratifiedProgram.java │ │ │ ├── UnstratifiedProgram.java │ │ │ └── package-info.java │ │ └── visitors │ │ │ ├── CrashHeadVisitor.java │ │ │ ├── CrashPremiseVisitor.java │ │ │ ├── DefaultConjunctVisitor.java │ │ │ ├── DefaultTermVisitor.java │ │ │ ├── HeadVisitor.java │ │ │ ├── HeadVisitorBuilder.java │ │ │ ├── PremiseVisitor.java │ │ │ ├── PremiseVisitorBuilder.java │ │ │ ├── TermVisitor.java │ │ │ ├── TermVisitorBuilder.java │ │ │ └── package-info.java │ │ ├── engine │ │ ├── ConjunctiveQueryHelper.java │ │ ├── DatalogEngine.java │ │ ├── DatalogEngineWithProvenance.java │ │ ├── EngineExample.java │ │ ├── bottomup │ │ │ ├── AnnotatedAtom.java │ │ │ ├── BottomUpEngineFrame.java │ │ │ ├── BottomUpEngineFrameWithProvenance.java │ │ │ ├── ClauseEvaluator.java │ │ │ ├── EvalManager.java │ │ │ ├── EvalManagerWithProvenance.java │ │ │ ├── SemiNaiveClauseAnnotator.java │ │ │ ├── concurrent │ │ │ │ ├── BottomUpEvalManager.java │ │ │ │ ├── ConcurrentBottomUpEngine.java │ │ │ │ ├── ConcurrentChunkedBottomUpEngine.java │ │ │ │ ├── ConcurrentStratifiedNegationBottomUpEngine.java │ │ │ │ ├── ExtensibleBottomUpEvalManager.java │ │ │ │ ├── StratifiedNegationEvalManager.java │ │ │ │ └── package-info.java │ │ │ ├── package-info.java │ │ │ └── sequential │ │ │ │ ├── SemiNaiveEngine.java │ │ │ │ ├── SemiNaiveEvalManager.java │ │ │ │ └── package-info.java │ │ ├── package-info.java │ │ └── topdown │ │ │ ├── AbstractQsqEngine.java │ │ │ ├── AdornedAtom.java │ │ │ ├── AdornedClause.java │ │ │ ├── AdornedPredicateSym.java │ │ │ ├── IterativeQsqEngine.java │ │ │ ├── MstEngine.java │ │ │ ├── QsqSupRelation.java │ │ │ ├── QsqTemplate.java │ │ │ ├── RecursiveQsqEngine.java │ │ │ ├── Relation.java │ │ │ ├── TermSchema.java │ │ │ ├── Tuple.java │ │ │ └── package-info.java │ │ ├── executor │ │ ├── DatalogExecutor.java │ │ ├── DatalogListener.java │ │ ├── DatalogParallelExecutor.java │ │ ├── ExecutorExample.java │ │ └── package-info.java │ │ ├── gui │ │ ├── DatalogGui.java │ │ ├── TextEditor.java │ │ └── package-info.java │ │ ├── package-info.java │ │ ├── parser │ │ ├── DatalogParseException.java │ │ ├── DatalogParser.java │ │ ├── DatalogTokenizer.java │ │ └── package-info.java │ │ └── util │ │ ├── Box.java │ │ ├── ExecutorServiceCounter.java │ │ ├── Utilities.java │ │ ├── datastructures │ │ ├── ConcurrentFactIndexer.java │ │ ├── ConcurrentFactTrie.java │ │ ├── ConcurrentLinkedBag.java │ │ ├── FactIndexer.java │ │ ├── FactIndexerFactory.java │ │ ├── IndexableFactCollection.java │ │ └── package-info.java │ │ ├── graph │ │ ├── Digraph.java │ │ ├── DirectedEdge.java │ │ └── package-info.java │ │ ├── package-info.java │ │ └── substitution │ │ ├── ClauseSubstitution.java │ │ ├── ConstOnlySubstitution.java │ │ ├── SimpleConstSubstitution.java │ │ ├── Substitution.java │ │ ├── SubstitutionUtils.java │ │ ├── TermUnifier.java │ │ ├── UnionFindBasedUnifier.java │ │ └── package-info.java └── test │ └── java │ └── edu │ └── harvard │ └── seas │ └── pl │ └── abcdatalog │ ├── engine │ ├── AbstractTests.java │ ├── ConcurrentBottomUpEngineTest.java │ ├── ConcurrentChunkedBottomUpEngineTest.java │ ├── ConcurrentStratifiedNegationBottomUpEngineTest.java │ ├── ConjunctiveQueryTests.java │ ├── CoreTests.java │ ├── ExplicitUnificationTests.java │ ├── IterativeQsqEngineTest.java │ ├── MstEngineTest.java │ ├── RecursiveQsqEngineTest.java │ ├── SemiNaiveEngineTest.java │ └── StratifiedNegationTests.java │ ├── executor │ └── DatalogParallelExecutorTest.java │ └── util │ └── datastructures │ └── FactIndexerTest.java └── third-party-licenses ├── THIRD-PARTY.txt ├── eclipse public license 1.0 - epl-v10.html ├── flatlaf license - apache license 2.0.html └── new bsd license - bsd-license.php.html /.github/workflows/maven.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/.github/workflows/maven.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/README.md -------------------------------------------------------------------------------- /example/tc.dtlg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/example/tc.dtlg -------------------------------------------------------------------------------- /license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/license.txt -------------------------------------------------------------------------------- /make_release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/make_release.sh -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/pom.xml -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/BinaryDisunifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/BinaryDisunifier.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/BinaryUnifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/BinaryUnifier.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Clause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Clause.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Constant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Constant.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Head.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Head.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/HeadHelpers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/HeadHelpers.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/NegatedAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/NegatedAtom.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/PositiveAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/PositiveAtom.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/PredicateSym.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/PredicateSym.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Premise.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Premise.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Term.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/TermHelpers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/TermHelpers.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Variable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/Variable.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/DatalogValidationException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/DatalogValidationException.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/DatalogValidator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/DatalogValidator.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/StratifiedNegationGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/StratifiedNegationGraph.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/StratifiedNegationValidator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/StratifiedNegationValidator.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/StratifiedProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/StratifiedProgram.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/UnstratifiedProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/UnstratifiedProgram.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/validation/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/CrashHeadVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/CrashHeadVisitor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/CrashPremiseVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/CrashPremiseVisitor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/DefaultConjunctVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/DefaultConjunctVisitor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/DefaultTermVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/DefaultTermVisitor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/HeadVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/HeadVisitor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/HeadVisitorBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/HeadVisitorBuilder.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/PremiseVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/PremiseVisitor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/PremiseVisitorBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/PremiseVisitorBuilder.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/TermVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/TermVisitor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/TermVisitorBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/TermVisitorBuilder.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/ast/visitors/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/ConjunctiveQueryHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/ConjunctiveQueryHelper.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/DatalogEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/DatalogEngine.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/DatalogEngineWithProvenance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/DatalogEngineWithProvenance.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/EngineExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/EngineExample.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/AnnotatedAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/AnnotatedAtom.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/BottomUpEngineFrame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/BottomUpEngineFrame.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/BottomUpEngineFrameWithProvenance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/BottomUpEngineFrameWithProvenance.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/ClauseEvaluator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/ClauseEvaluator.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/EvalManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/EvalManager.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/EvalManagerWithProvenance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/EvalManagerWithProvenance.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/SemiNaiveClauseAnnotator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/SemiNaiveClauseAnnotator.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/BottomUpEvalManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/BottomUpEvalManager.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/ConcurrentBottomUpEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/ConcurrentBottomUpEngine.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/ConcurrentChunkedBottomUpEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/ConcurrentChunkedBottomUpEngine.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/ConcurrentStratifiedNegationBottomUpEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/ConcurrentStratifiedNegationBottomUpEngine.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/ExtensibleBottomUpEvalManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/ExtensibleBottomUpEvalManager.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/StratifiedNegationEvalManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/StratifiedNegationEvalManager.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/concurrent/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/sequential/SemiNaiveEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/sequential/SemiNaiveEngine.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/sequential/SemiNaiveEvalManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/sequential/SemiNaiveEvalManager.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/sequential/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/bottomup/sequential/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/AbstractQsqEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/AbstractQsqEngine.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/AdornedAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/AdornedAtom.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/AdornedClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/AdornedClause.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/AdornedPredicateSym.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/AdornedPredicateSym.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/IterativeQsqEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/IterativeQsqEngine.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/MstEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/MstEngine.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/QsqSupRelation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/QsqSupRelation.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/QsqTemplate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/QsqTemplate.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/RecursiveQsqEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/RecursiveQsqEngine.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/Relation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/Relation.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/TermSchema.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/TermSchema.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/Tuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/Tuple.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/engine/topdown/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/executor/DatalogExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/executor/DatalogExecutor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/executor/DatalogListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/executor/DatalogListener.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/executor/DatalogParallelExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/executor/DatalogParallelExecutor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/executor/ExecutorExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/executor/ExecutorExample.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/executor/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/executor/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/gui/DatalogGui.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/gui/DatalogGui.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/gui/TextEditor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/gui/TextEditor.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/gui/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/gui/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/parser/DatalogParseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/parser/DatalogParseException.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/parser/DatalogParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/parser/DatalogParser.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/parser/DatalogTokenizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/parser/DatalogTokenizer.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/parser/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/parser/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/Box.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/Box.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/ExecutorServiceCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/ExecutorServiceCounter.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/Utilities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/Utilities.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/ConcurrentFactIndexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/ConcurrentFactIndexer.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/ConcurrentFactTrie.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/ConcurrentFactTrie.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/ConcurrentLinkedBag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/ConcurrentLinkedBag.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/FactIndexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/FactIndexer.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/FactIndexerFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/FactIndexerFactory.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/IndexableFactCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/IndexableFactCollection.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/graph/Digraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/graph/Digraph.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/graph/DirectedEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/graph/DirectedEdge.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/graph/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/graph/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/package-info.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/ClauseSubstitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/ClauseSubstitution.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/ConstOnlySubstitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/ConstOnlySubstitution.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/SimpleConstSubstitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/SimpleConstSubstitution.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/Substitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/Substitution.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/SubstitutionUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/SubstitutionUtils.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/TermUnifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/TermUnifier.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/UnionFindBasedUnifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/UnionFindBasedUnifier.java -------------------------------------------------------------------------------- /src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/main/java/edu/harvard/seas/pl/abcdatalog/util/substitution/package-info.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/AbstractTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/AbstractTests.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ConcurrentBottomUpEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ConcurrentBottomUpEngineTest.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ConcurrentChunkedBottomUpEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ConcurrentChunkedBottomUpEngineTest.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ConcurrentStratifiedNegationBottomUpEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ConcurrentStratifiedNegationBottomUpEngineTest.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ConjunctiveQueryTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ConjunctiveQueryTests.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/CoreTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/CoreTests.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ExplicitUnificationTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/ExplicitUnificationTests.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/IterativeQsqEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/IterativeQsqEngineTest.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/MstEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/MstEngineTest.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/RecursiveQsqEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/RecursiveQsqEngineTest.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/SemiNaiveEngineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/SemiNaiveEngineTest.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/engine/StratifiedNegationTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/engine/StratifiedNegationTests.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/executor/DatalogParallelExecutorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/executor/DatalogParallelExecutorTest.java -------------------------------------------------------------------------------- /src/test/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/FactIndexerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/src/test/java/edu/harvard/seas/pl/abcdatalog/util/datastructures/FactIndexerTest.java -------------------------------------------------------------------------------- /third-party-licenses/THIRD-PARTY.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/third-party-licenses/THIRD-PARTY.txt -------------------------------------------------------------------------------- /third-party-licenses/eclipse public license 1.0 - epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/third-party-licenses/eclipse public license 1.0 - epl-v10.html -------------------------------------------------------------------------------- /third-party-licenses/flatlaf license - apache license 2.0.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/third-party-licenses/flatlaf license - apache license 2.0.html -------------------------------------------------------------------------------- /third-party-licenses/new bsd license - bsd-license.php.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HarvardPL/AbcDatalog/HEAD/third-party-licenses/new bsd license - bsd-license.php.html --------------------------------------------------------------------------------