https://9dok.net/document/q2n7j8j2-ubungen-zur-vorlesung-logikprogrammierung.html