Install
- Java 64bit: https://www.java.com/en/download/ie_manual.jsp (Currently JDK 64bit Java-19, remove old Java versions first!)
- Eclipse EE: http://www.eclipse.org/downloads/ (https://www.eclipse.org/downloads/packages/installer, remove old Eclipse versions!)
- Get a SICStus Prolog (student) license at: http://www.sics.se/sicstus/products
...