[[Add URLs for prolog, background, etc.]] "Programming in Logic", a declarative language (sort of) popular in Europe. See [Playing Prolog] - [Playing predicate logic] SICSTus Prolog has a "complete Tcl interface" [http://www.sics.se/isl/sicstuswww/site/highlights.html]. Haven't there been collaborations between Prolog and [Tk]? ---- [Category Language]