I found this one to be pretty good back when I worked through it: http://www.learnprolognow.org/ http://www.learnprolognow.org/ It's somewhat old but I was abl

I found this one to be pretty good back when I worked through it: http://www.learnprolognow.org/ http://www.learnprolognow.org/ It's somewhat old but I was able to do everything in the course with SWI-Prolog just fine -- turns out not much is changing in Prolog-land.