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

Sign in to participate in the conversation

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!