3 ms·
A decidable variant called Datalog is becoming popular thanks in part to Clojure and Datomic / Datascript. See also Flix and Datafun. [1] http://www.learndata
by benrbray 5y ago
A decidable variant called Datalog is becoming popular thanks in part to Clojure and Datomic / Datascript. See also Flix and Datafun.
[1] http://www.learndatalogtoday.org/ http://www.learndatalogtoday.org/
[2] https://flix.dev/ https://flix.dev/
[3] http://www.rntz.net/datafun/ http://www.rntz.net/datafun/