Prolog

Prolog is a logic programming language.

Resources

 * Introductory lecture about Prolog (German)