Datalog in miniKanren https://deosjr.github.io/dynamicland/datalog.html
And it's using @spritely's Hoot to compile to Webassembly! It's so cool when things like this appear in the wild and you don't even know someone was working on it!
And, this subthread on HN is actually a pretty interesting exchange https://news.ycombinator.com/item?id=44285812
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.