[coolsunglasses]

Contingent on the design but not necessary. I could make something similar in PureScript.

I wouldn't use Datalog though, I got turned off on it after using Datomic at work.