@xahlee By the way, I've started using Prolog recently (started with this tutorial for SWI-Prolog http://pathwayslms.com/swipltuts/html/index.htm) & I'm realizing it has a lot of the attributes you talk about liking from Mathematica (nice syntax that is sugar for M-exprs (which can be seen with write_canonical)). Have you used Prolog much before?
This page describes the mastodon.social instance - wondering what Mastodon is? Check out joinmastodon.org instead! In essence, Mastodon is a decentralized, open source social network. This is just one part of the network, run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!
Hero image by @b_cavello