https://semantic-reasoning.github.io
Semantic Reasoning community website for guides, discussions, and project documentation.
Pure C11 Datalog engine optimized for high-performance incremental evaluation. Compiles declarative logic programs into columnar execution plans using Apache Arrow (nanoarrow), with SIMD vectorization and delta-seeded semi-naive evaluation.
Data-to-Application server built on wirelog. Transforms declarative logic definitions into live application endpoints.
Python wrapper for wirelog. Provides a Pythonic interface to wirelog's high-performance Datalog engine.