James Cash 🍍

@xahlee By the way, I've started using Prolog recently (started with this tutorial for SWI-Prolog pathwayslms.com/swipltuts/html) & 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?

Β· Web Β· 0 Β· 0

@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.


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