ALP Registration

To participate in the course you need to register online.

ALP Software

For the practical exercises we use:

  • SWI-Prolog 6.2 or newer. It is a fast, free and ubiquitous Prolog system with lots of goodies that we shall explore in the course.
  • Eclipse 3.7. It is the common platform for:
    • Subversive a powerful client for the Subversion software configuration management system, which will be the basis for submitting exercise hand-ins to your tutor
    • JTransformer a tool for turning Java projects into Prolog factbases that we will analyse and transform using Prolog and Conditional Transformations.

Note: You can (and should) install the PDT as part of the installation of JTransformer.

Working at home

At home you need to install all of the above yourself. The recomended way of doing it is to start from the JTransformer installation page, which refers to all the other relevant plugins, except Subversive. You can afterwards add the Subversive installation.

Working at the University

On the computers in terminal pool A106 Eclipse, Subversive and SWI-Prolog are already installed. However, the installed versions might not be the most up to date ones. If you want to install yourself more recent versions, you cannot do it using an installer that modifies the registry because you have no admin rights. However, here is a zip file that contains the most recent SWI-Prolog version. Just unzip it in any directory you want.

To update your environment variables on one of the Windows computers in the pool (e.g. to include SWI-Prolog into your path), type “env” into the search line of the “Start” menu, then choose “Edit environment variables for your account”.

You only need to add JTransformer and the PDT to your existing Eclipse installation.

Last modified: 2013/05/21 11:08
*