PDT - Download and Installation

License

Prerequisites

  • Install JDK/JRE (at least version 1.7.X)
  • Install Eclipse, version 4.4 (Luna) or above
  • Install SWI-prolog, version 6.6.0 (or above) for your platform.
    • Windows: Add the “bin” directory of your SWI-Prolog installation to the system PATH.
    • Linux: Download the SWI-Prolog sources and see the README.linux file for further instructions. Make sure that all dependencies are loaded correctly (see http://www.swi-prolog.org/build/unix.html).
    • Mac: Install MacPorts and type 'sudo port install swi-prolog'. Add'/opt/local/bin' to your system path (typically by adding it to the file /etc/paths).

If you use Java 1.7 and encounter memory problems, start Eclipse with the command line options-Xmx512m -XX:MaxPermSize=128m”.

Test your SWI-Prolog installation before you install the PDT or JTransformer. If you get PrologProcessException errors (containing messages such as “Failed to obtain session”, “Timout exceeded while waiting for peer to come up”, etc.) SWI-Prolog cannot be started from Eclipse. Then make sure that

  1. SWI-Prolog is installed,
  2. the SWI-Prolog executable “swipl-win” is in your path,
  3. your firewall does not block connections from Eclipse / Java to Prolog
  4. on MacOS: the X11 environment is installed and running

Installation

After having fulfilled the above prerequisites:

  • Add the PDT Update Site to your Eclipse installation by entering on of the following URLs in ”Help” → ”Install new Software…” → ”Add…”:
PDT Version Date Update Site URL
3.1.2 30.04.2015 http://sewiki.iai.uni-bonn.de/public-downloads/update-site-pdt/
3.x latest1) http://sewiki.iai.uni-bonn.de/public-downloads/update-site-pdt/nightly/
  • Select the “PDT” feature. This is how it should look (except for the version number):

Update Site

  • Press “Next” and follow the instructions.
  • If you get stuck and the dialog shows the message “Calculating requirements and dependencies” you should uncheck the “Contact all update sites during install…” option. Please note that this is only possible if you used one of the recommended Eclipse configurations (see prerequisites).

After Installation

1) Automatically generated upon each change in the master branch of the PDT repository at GitHub (https://github.com/pdt-git/public)
Last modified: 2016/04/17 18:04
*