Title: Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution