The "Introduction to Logical Programming" class implements the "Adventure in Prolog" by Amzi!