logicaffeine-language 0.9.13

Natural language to first-order logic pipeline
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Semantic transformations for logical expressions.
//!
//! This module provides post-parse semantic transformations:
//!
//! - **[`apply_axioms`]**: Expands predicates with entailments and hypernymy
//! - **[`apply_kripke_lowering`]**: Converts modals to explicit world quantification
//!
//! These transformations enrich the logical representation with inferred content.

mod axioms;
pub mod kripke;
pub mod knowledge_graph;

pub use axioms::apply_axioms;
pub use kripke::apply_kripke_lowering;

include!(concat!(env!("OUT_DIR"), "/axiom_data.rs"));