genau
Merge origin/master

Conflicts:
	src/de/vp/PrologGUI.form
	src/de/vp/PrologGUI.java