📝Datalog

Two implementations (for clojure) are Datomic and DataScript
Tutorials:
- http://www.learndatalogtoday.org
- Domain Modeling with Datalog (talk)

Resources:

GitHub - threatgrid/naga: Datalog based rules engine (Rete Algorithm)

Backlinks

📝 Datomic syntax
📝 Datalog can be used to express algorithm on code
📝 Datomic
📝 § Database
📝 DataScript