Query and inspect your Java, Smalltalk, C and Cobol programs.
The 2011 edition of SATToSE (Seminar Series on Advanced Techniques & Tools for Software Evolution) in Koblenz featured three SOUL-related presentations. Andy Kellens and Coen De Roover presented our group's work-in-progress on "Source Code Archeology using Logic Program Queries across Version Repositories" (slides) and "Logic-based program transformation in symbiosis with Eclipse" (slides) respectively. Both presentations can be found on the presentations page of SATToSE. In addition, Sergio Castro presented his work on "Generation of corrective actions to code design problems" for which he relies on abductive reasoning within SOUL.