[[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]