Class handouts and related material for Prolog
Slides
Introduction to prolog
Operational semantics of prolog
not
in Prolog