PERPLEX: Logisches Programmieren an Hand von Beispielen