TypeDB: the power of programming, in your database
database polymorphic logic inference polymorphism knowledge-base type-system strongly-typed knowledge-representation reasoning typedb typeql
-
Updated
May 1, 2025 - Rust