You can download SWI-Prolog, the system we'll use for this course. You can download versions for all platforms. On the same page, you will also find some useful documentation. Here is a shortcut to the online manual.
As usual, work at home at your own risk, and make sure your code works at the university.
You might prefer XSB Prolog, Visual Prolog or Trinc-Prolog, but make sure your code works in SWI Prolog on cdf.
Paul Brna, from the University of Leeds, UK, has made his book Prolog Programming A First Course available online. It seems to be a good introduction to Prolog, and it covers pretty much everything we cover in this course, and more.
Some other online Prolog notes:
If you know of any further references that you think would be useful, please
let me know and I will add them here.