#aingle #validation #reasoning #rules #validation-rules

aingle_logic

Proof-of-Logic validation engine for AIngle semantic graphs

13 releases (5 breaking)

0.6.3 Mar 19, 2026
0.6.2 Mar 15, 2026
0.5.0 Mar 13, 2026
0.4.2 Mar 11, 2026
0.1.0 Dec 17, 2025

#1116 in Algorithms


Used in aingle_cortex

Apache-2.0 OR LicenseRef-Commercial

525KB
10K SLoC

AIngle

The Semantic Infrastructure for Intelligent Applications

Enabling enterprises to build secure, scalable, and intelligent distributed systems

Build Status License Rust

SolutionsCapabilitiesGet StartedWebsite


AIngle Logic

This crate provides the core logic engine for the AIngle framework, enabling advanced rule-based reasoning, validation, and inference over semantic graphs.

Dependencies

~5.5–8.5MB
~158K SLoC