For the practical exercises we use:

• SWI-Prolog 7.5.2. It is a fast, free and ubiquitous Prolog system with lots of goodies that we shall explore in the course.
• Eclipse Neon.2 (4.6.2) or newer.
• JTransformer a plugin for Eclipse that is capable of representing Java projects in Prolog so that we can easily analyse and transform them using the power of Prolog

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.

• Unzip swipl-7.5.2-32.zip in any directory you want.
• Add the “bin”-folder of the unziped SWI-Prolog release to your Path environment variable.

• Download and Unzip an Eclipse installation compatible with JTransformer. See JTransformer installation notes