A Tour of Prolog: Rules, Constraints and Meta-Interpreters

HN recommends it as the best short introduction to what makes Prolog unique.

Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.