[chekovcodes]

This is a database written in Prolog: https://github.com/terminusdb/terminus-server - albeit with a RUST storage engine - prolog's lack of types means there are better storage solutions, but for constraint logic, it's unbeatable.

[ipnon]

A statically typed logic language would be ideal for both

[Avshalom]

https://mercurylang.org/