1mod engine; 2pub use engine::datalog::*; 3pub use builders::goal::ANY_VALUE; 4pub use ::datalog_syntax::*; 5pub use ::datalog_syntax_macros::{rule, program}; 6pub use builders::rule::{Const, Var}; 7mod rewriting; 8mod interning; 9mod builders;