[Add URLs for prolog, background, etc.] "Programming in Logic", a declarative language (sort of) popular in Europe. See Playing Prolog - Playing predicate logic
Category Language