You can download a slideshow that can be viewed with Microsoft PowerPoint.
The slide show covers all the majors facets of the Prolog language: syntax,
semantics, methods, etc... It will give you a good overview of what the Prolog
declarative (logical) programming language is like. There are 56 slides in total.
Click here to download it.
(the slide show is in zip format)