GTK, which stands for the Gimp ToolKit, is a library for creating graphical user interfaces. It is designed to be small and efficient, but still flexible enough to allow the programmer freedom in the interfaces created. GTK provides some unique features over standard widget libraries.
Tkinter is Python's de facto standard GUI (Graphical User Interface) package. It is a thin object-oriented layer on top of Tcl/Tk. To use Tkinter, you don't need to write Tcl code, but you will need to consult the Tk documentation and occasionally the Tcl documentation (since Tk's low-level event handling mechanism is considered part of Tcl).
Clean Programming Language is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications. Its unique typing system makes it possible to incorporate destructive updates of arbitrary data structures (including arrays) in a pure functional language and to make direct interfaces to the outside imperative world.
Tcl provides a portable scripting environment for Unix, Windows, and Macintosh that supports string processing and pattern matching, native file system access, shell-like control over other programs, TCP/IP networking, timers, and event-driven I/O. Tcl has traditional programming constructs like variables, loops, procedures, namespaces, error handling, script packages, and dynamic loading of DLLs. Tk provides portable GUIs on UNIX, Windows, and Macintosh. A powerful widget set and the concise scripting interface to Tk make it a breeze to develop sophisticated user interfaces.