Hier die Tools einfügen, die spezifisch für die Vorlesung sind.
For the practical exercises we use:
JTransformer includes the The Prolog Development Tool (PDT) for Eclipse, which is a much nicer Prolog development environment than the one included in the SWI-Prolog distribution.
At home you can install all of the above by starting from the JTransformer installation page, which refers to everything you need.
In the terminal pools at the university you do not have admin rights for installing your own software. However, that is not a problem, since there are portable installations that can simply be copied to some arbitrary folder.