The IDEA team at the University of Bonn has produced various tools on the following topics. Please select any topic for obtaining more detailed information on each of them, including the possibility for downloading each tool as Prolog and/or Tcl/Tk source files, together with appropriate documentation for installation and usage.