pr4xis 0.23.1

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

//! Situation calculus + STRIPS — substrate ontology grounding `engine/`.
//! Names Situation, Action, Fluent, Precondition, Plan, Trace, plus BDI
//! (Agent / Belief / Desire / Intention) per McCarthy (1963), Fikes &
//! Nilsson (1971), Reiter (2001), Bratman (1987).

pub mod ontology;

pub use ontology::{
    SituationCalculusCategory, SituationCalculusConcept, SituationCalculusOntology,
    SituationCalculusTradition,
};