It's a bummer that TypeDB [1] doesn't have full datalog-level semantics. If it had, it would be kind of the perfect logic programming system, that behaves like

It's a bummer that TypeDB [1] doesn't have full datalog-level semantics. If it had, it would be kind of the perfect logic programming system, that behaves like and fits into a modern developer toolchain... as it has most of the other important properties, like: - Rule-based inference https://typedb.com/docs/home/25-queries#_rule_based_inference https://typedb.com/docs/home/25-queries#_rule_based_inferenc... - Ability to infer new data https://typedb.com/docs/home/25-queries#_21_inferring_new_data https://typedb.com/docs/home/25-queries#_21_inferring_new_da... - Rules chaining https://typedb.com/docs/home/25-queries#_rule_chaining https://typedb.com/docs/home/25-queries#_rule_chaining - Inferring with chaining https://typedb.com/docs/home/25-queries#_23_inferring_with_chaining https://typedb.com/docs/home/25-queries#_23_inferring_with_c... - Relation transitivity https://typedb.com/docs/home/25-queries#_transitivity https://typedb.com/docs/home/25-queries#_transitivity ... etc. Yea, there's Datomic, but not being open source, it becomes a no-go for a lot of biomedical applications, because of the close ties with academia and research use cases. [1] https://typedb.com/ https://typedb.com/