University of Toronto - Fall 2002 Department of Computer Science

CSC 324: Principles of Programming Languages

Prolog References

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 look for the executable in subdirectory config\x86-pc-windows\bin\. You don't need to compile it, contrary to what the instructions tell you. Once you found the executable, you can 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).

Cosmin Munteanu has kindly made available some instructions on running XSB in Emacs, which you can use if you want an environment to develop your Prolog programs in.

You might prefer SWI-Prolog, Visual Prolog or Trinc-Prolog (usual disclaimer: your code must work in XSB on the CDF Linux machines).

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.