[[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 bi-directional Tcl interface: [https://sicstus.sics.se/sicstus/docs/3.7.1/html/sicstus_37.html].

Also ECLiPSe (not to be mistaken with the IDE [http://www.eclipse.org/]) has an interface to Tcl/Tk [http://www.eclipseclp.org/features.html]. A description and some first steps are listed at [ECLiPSe_CLP].

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

<<categories>> Language