Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
teaching:lectures:kga:2016:infrastructure_kga [2016/10/13 11:43]
Günter Kniesel created
teaching:lectures:kga:2016:infrastructure_kga [2018/05/09 01:59] (current)
Line 1: Line 1:
 +Hier die Tools einfügen, die spezifisch für die Vorlesung sind.
 +====== Prolog, Eclipse, JTransformer,​ PDT ======
 +=== ===
 +For the practical exercises we use:
 +  * [[http://​​|SWI-Prolog 6.6 or newer]] (preferably 7.3.20). It is a fast, free and ubiquitous Prolog system with lots of goodies that we shall explore in the course.
 +  * [[http://​​|Eclipse 4.4 (Luna) or newer]].
 +  * [[https://​​research/​jtransformer/​start|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 [[https://​​research/​pdt/​start|The Prolog Development Tool (PDT)]] for Eclipse, which is a much nicer Prolog development environment than the one included in the SWI-Prolog distribution.  ​
 +=== Working at Home  ===
 +At home you can install all of the above by starting from the 
 +[[https://​​research/​jtransformer/​installation|JTransformer ​
 +installation page]], which refers to everything you need.
 +=== Working at the University ===
 +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.
 +==SWI-Prolog Installation==
 +  * Unzip /* {{:​teaching:​lectures:​alp:​|}} */ {{:​teaching:​lectures:​alp:​2016:​|}} in any directory you want.   
 +  * Add the "​bin"​-folder of the unziped SWI-Prolog release to your Path environment variable. ​
 +== Eclipse Installation ==
 +  * Download and Unzip an Eclipse installation compatible with JTransformer. See [[https://​​research/​jtransformer/​|JTransformer installation notes]]

SEWiki, © 2020