You can download XSB Prolog, the system we'll use for this course, from the XSB Research Group home page. As usual, work at home at your own risk, and make sure your code works at the university. On the same page, you will also find some useful online documentation.
Note: when you download XSB for Windows, it doesn't come with an install package. Unzip it with your favorite zip package, and you're almost done. It says you have to compile it, but in fact it is compiled for you, only the executable is stored in some cryptic subdirectory. Use the Windows Find files option to look for "*.exe" and you will find it. You can then run the program from the DOS prompt.
Here is a short document I wrote about XSB basics, which should help you get started with it. For full information about the XSB debugger, please read the High-Level Tracing page in the XSB Programmers' Manual (available through the XSB link above).
You might prefer SWI-Prolog, Visual Prolog or Trinc-Prolog (usual disclaimer...).
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.