https://9dok.net/document/y96m52ov-prolog-kapitel-matching-und-beweisführung.html