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

SICSTus Prolog has a "complete Tcl interface" [http://www.sics.se/isl/sicstuswww/site/highlights.html].

also [ECLiPSe] (not to be mistaken with the IDE [http://www.eclipse.org/]) has an interface to Tcl/Tk [http://eclipse.crosscoreop.com/features.html]

Haven't there been collaborations between Prolog and [Tk]?

----
!!!!!!
%| [Category Language] |%
!!!!!!