pr4xis 0.29.1

Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

mod action;
#[allow(clippy::module_inception)]
mod engine;
mod precondition;
mod situation;
pub mod situation_calculus;
mod trace;

pub use action::Action;
pub use engine::{Engine, EngineError};
pub use precondition::Precondition;
pub use situation::Situation;
pub use situation_calculus::{
    SituationCalculusCategory, SituationCalculusConcept, SituationCalculusOntology,
    SituationCalculusTradition,
};
pub use trace::{Trace, TraceEntry};

#[cfg(test)]
mod tests;