@ovid I wrote a long blog post on this a couple of months ago. It doesn’t look like I mentioned Prolog, but I know I did at least an assignment or two in college using it.

trainedmonkey.com/2024/02/16/m