James Cash ๐Ÿ is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
James Cash ๐Ÿ @jamesnvc

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