[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" [L1 ].
Haven't there been collaborations between Prolog and Tk?