@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?
@jamesnvc i studied it in 2015 for a week or two, but didn't get far.
my impression is that it's long outdated...
btw, there's mercury, which is supposed to be a prolog replacement.
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!