CPSC 370 — Functional and Logic Programming — Fall 2011

Prolog Resources

Flavours of Prolog

The most common flavours of Prolog are SICStus Prolog, SWI Prolog, and GNU Prolog, the first being commercial, the latter two being free. For CPSC 370 — Fall 2011, I recommend using SWI Prolog.

SWI download sites

SWI Prolog can be downloaded from here. The Mac OS 10.6 version was straight-forward to install. I have not tried any of the other flavors.

Emacs

There is some support for Prolog editing built in to Emacs, but a better mode for Emacs editing of Prolog code can be found on Stefan D. Bruda's Emacs mode page (here).

Prolog References

The library has:

W.F. Clocksin and C.S. Mellish, Programming in Prolog, fourth edition, Springer Verlag, 1994. This is the standard reference text for Programming in Prolog.
Leon Sterling and Ehud Shapiro, The Art of Prolog: Advanced Programming Techniques, second edition, The MIT Press, 1986. This is a more advanced book.
Richard A. O'Keefe, The Craft of Prolog, The MIT Press, 1990. This book discusses how to write good Prolog code, sort of a CPSC 200 / CPSC 281 for Prolog programmers.
Richard Kenneth Little, Approximating the rank of a homomorphism using a Prolog based system , Thesis, the University of Northern British Columbia , 2000.