For the practical exercises we use:
ubiquitous Prolog system with lots of goodies that we shall explore in the course.
turning Java projects into Prolog factbases that we will analyse and
transform using Prolog and Conditional Transformations. * [[https://sewiki.iai.uni-bonn.de/research/pdt/start|The Prolog Development Tool (PDT)]] for Eclipse (included in JTransformer).
Note: You can (and should) install the PDT as part of the installation of JTransformer. Then you can update the PDT independently by using the nightly update site URL from the PDT installation page.
At home you need to install all of the above yourself. The recommended way of doing it is to start from the JTransformer installation page, which refers to all the other relevant plugins.
At the university you do not have admin rights for installing your own software. However, that is not a problem, since everything we need comes also with portable installations where it suffices to copy the software to some arbitrary folder.