https://mintlify.wiki/HarvardPL/AbcDatalog/api/ast-overview 2026-05-12T12:05:56.367Z https://mintlify.wiki/HarvardPL/AbcDatalog/api/atoms-and-terms 2026-05-12T12:05:56.377Z https://mintlify.wiki/HarvardPL/AbcDatalog/api/clause 2026-05-12T12:05:56.374Z https://mintlify.wiki/HarvardPL/AbcDatalog/api/datalog-engine 2026-05-12T12:05:56.378Z https://mintlify.wiki/HarvardPL/AbcDatalog/api/datalog-engine-with-provenance 2026-05-12T12:05:56.380Z https://mintlify.wiki/HarvardPL/AbcDatalog/api/datalog-executor 2026-05-12T12:05:56.375Z https://mintlify.wiki/HarvardPL/AbcDatalog/api/parser 2026-05-12T12:05:56.365Z https://mintlify.wiki/HarvardPL/AbcDatalog/api/validator 2026-05-12T12:05:56.366Z https://mintlify.wiki/HarvardPL/AbcDatalog/engines/bottom-up 2026-05-12T12:05:57.522Z https://mintlify.wiki/HarvardPL/AbcDatalog/engines/overview 2026-05-12T12:05:57.519Z https://mintlify.wiki/HarvardPL/AbcDatalog/engines/provenance 2026-05-12T12:05:57.517Z https://mintlify.wiki/HarvardPL/AbcDatalog/engines/top-down 2026-05-12T12:05:57.520Z https://mintlify.wiki/HarvardPL/AbcDatalog/executor/async-evaluation 2026-05-12T12:06:00.332Z https://mintlify.wiki/HarvardPL/AbcDatalog/executor/listeners 2026-05-12T12:06:00.330Z https://mintlify.wiki/HarvardPL/AbcDatalog/executor/overview 2026-05-12T12:06:00.328Z https://mintlify.wiki/HarvardPL/AbcDatalog/extending/ast-visitors 2026-05-12T12:06:00.353Z https://mintlify.wiki/HarvardPL/AbcDatalog/extending/custom-engines 2026-05-12T12:06:00.351Z https://mintlify.wiki/HarvardPL/AbcDatalog/installation 2026-05-12T12:06:00.329Z https://mintlify.wiki/HarvardPL/AbcDatalog/introduction 2026-05-12T12:06:00.327Z https://mintlify.wiki/HarvardPL/AbcDatalog/language/facts-and-rules 2026-05-12T12:06:00.873Z https://mintlify.wiki/HarvardPL/AbcDatalog/language/negation-and-unification 2026-05-12T12:06:00.871Z https://mintlify.wiki/HarvardPL/AbcDatalog/language/syntax 2026-05-12T12:06:00.867Z https://mintlify.wiki/HarvardPL/AbcDatalog/quickstart 2026-05-12T12:06:00.869Z