[package]
edition = "2021"
name = "exocortex-reasoning"
version = "0.1.0"
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Exocortex reasoning layer: Crepe (Datalog) rules R1-R9 plus Steel (Scheme) belief evolution, with idempotent derived-edge writeback."
readme = false
license = "AGPL-3.0-or-later"
[lib]
name = "exocortex_reasoning"
path = "src/lib.rs"
[[test]]
name = "rules"
path = "tests/rules.rs"
[[bench]]
name = "khop"
path = "benches/khop.rs"
harness = false
[dependencies.chrono]
version = "0.4"
features = ["serde"]
[dependencies.crepe]
version = "0.1"
[dependencies.exocortex-kernel]
version = "0.1.0"
[dependencies.exocortex-pack-dev-v1]
version = "0.1.0"
[dependencies.exocortex-storage]
version = "0.1.0"
[dependencies.futures]
version = "0.3"
[dependencies.lasso]
version = "0.7"
features = ["multi-threaded"]
[dependencies.metrics]
version = "0.23"
[dependencies.smallvec]
version = "1"
features = [
"serde",
"const_generics",
]
[dependencies.smol_str]
version = "0.3"
features = ["serde"]
[dependencies.steel-core]
version = "0.7"
[dependencies.tokio]
version = "1.40"
features = ["full"]
[dependencies.tracing]
version = "0.1"
[dev-dependencies.exocortex-cache]
version = "0.1.0"
[dev-dependencies.futures]
version = "0.3"
[dev-dependencies.serde_json]
version = "1"