query-engine/src/lib.rs

//! Query-engine playground crate.
//!
//! The current codebase primarily contains a chase-based reasoning core plus
//! lightweight frontends for experimenting with rule-driven query answering.
//! It also contains an early relational and SQL scaffold for a narrow
//! `SELECT-FROM-WHERE-ORDER BY` slice with basic joins, aliases, and
//! conjunctions. It is not yet a full SQL engine.

pub mod catalog;
pub mod chase;
pub mod execution;
pub mod frontend;
pub mod planner;
pub mod relational;
pub mod sql;

// Curated convenience re-exports for the current public crate surface.
// Lower-level reasoning and provenance APIs remain under `query_engine::chase`.
pub use chase::{
    Atom, ChaseConfig, ChaseError, ChaseResult, ChaseVariant, Instance, Rule, RuleBuilder, Term,
    chase, chase_with_config, oblivious_chase, standard_chase,
};