CSC301 Prolog

Logic has had an interesting 2000 year long history, you can find a brief summary of it as it pertains to logic programming here.

Implementations:

SWI-Prolog for Windows

Other Resources:

Prolog tutorial(these are the notes the lectures are based on)
Another nice Prolog tutorial with lots of examples
Online Prolog Book
CMU Prolog Repository

Programming Exercises and Examples:

Example program that proves that Socrates is a mortal.
A couple of examples: interact and translate.