An implementation of SWI Prolog is available at:


http://www.swi-prolog.org/

. The download is about 4 MB.

Prolog hints, CS 152
Prolog slides, CS 152
(check especially the treatment of lists and structures, and of tracing, the slide on "using Prolog", and the transcript)
Prolog test file, CS 152
(just as an example of Prolog code)