We will use the GNU Prolog interpreter/compiler:  gprolog

SWI Prolog is another popular Prolog interpreter.  You might want to experiment with it.

Visual prolog  provides a visual interface you might want to experiement with.

Prolog books tend to be expensive.  We do not have time to cover Prolog in great depth, so I think you can get by using on-line references.

James Power has a nice on-line tutorial that covers Prolog in enough detail.

John Fisher's tutorial contains many great example Prolog programs.

Anthony Aaby's tutorial  is pretty concise.

Ivan Bratko's book has several good examples (some of which I will use in class).