CSE 341 -- Section Materials
Some Notes about MUPL
Marc Bezem's A Prolog Compendium
Prolog Deriv Sample Input/Output
Different Prolog Difference List Slides