https://besser-geld-verdienen.com/155819/3442500/informatik-edv-1/logic-based-program-synthesis-and-transformation.html