generated at
Datascript
from Datalog

https://github.com/tonsky/datascript
https://qiita.com/iku000888/items/da99ef5a684163655509
Clojure実装