PDT - Download and Installation

License

Prerequisites

  • Install JDK/JRE (at least version 1.7.X)
  • Install Eclipse, version 4.6 (Neon) 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 (XQuartz) is installed and running and the DISPLAY variable is properly set (see also the note below).

MacOS / Linux Troubleshooting: If you are using the PDT / JT and the graphical tracer (or any other part of SWI-Prolog that need the XQuartz / X11 environment) does not start:

  1. Open a terminal window
  2. Type “echo $DISPLAY”
  3. Copy the result line that is displayed
  4. Open the PDT preferences (Preferences > PDT > Prolog Processes)
  5. Select your current configuration on the right-hand side and click “Edit”
  6. Enter “DISPLAY=…what you copied…” into the “Extra environment variables” field
  7. If there are more entries there, separate them by a comma (,)

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: 2017/08/29 12:35
*