pr4xis 0.22.0

Prove your domain is correct — ontology-driven rule enforcement with category theory, logical composition, and runtime state machines
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;